Εξώφυλλο από Amazon.com
Verified Software: Theories, Tools, Experiments [electronic resource] Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings edited by Gary T. Leavens, Peter OβHearn, Sriram K. Rajamani
Τύπος υλικού:
ΚιτΓλώσσα: Αγγλικά Σειρά: Lecture Notes in Computer Science ; 6217Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010Περιγραφή: v.: digitalISBN: - 9783642150579
| Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
|---|---|---|---|---|---|
Electronic Resource
|
ΒΚΠ - Πατρα | Διαθέσιμο |
