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 II edited by Tiziana Margaria, Bernhard Steffen
Τύπος υλικού: ΚιτΓλώσσα: Αγγλικά Σειρά: Lecture Notes in Computer Science ; 6416Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010Περιγραφή: v.: digitalISBN:- 9783642165610
- 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
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
Electronic Resource | ΒΚΠ - Πατρα | Διαθέσιμο |