Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I edited by Tiziana Margaria, Bernhard Steffen
Τύπος υλικού:![Κιτ](/opac-tmpl/lib/famfamfam/MX.png)
- 9783642165580
- Computer science
- Computer Communication Networks
- Software engineering
- Logic design
- Data mining
- Information systems
- Computer Science
- Logics and Meanings of Programs
- Software Engineering
- Programming Languages, Compilers, Interpreters
- Computer Communication Networks
- Information Systems Applications (incl.Internet)
- Data Mining and Knowledge Discovery
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα | Διαθέσιμο |