Εξώφυλλο από Amazon.com
Integrated Formal Methods [electronic resource] 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings edited by Dominique MΓ©ry, Stephan Merz
Τύπος υλικού:
ΚιτΓλώσσα: Αγγλικά Σειρά: Lecture Notes in Computer Science ; 6396Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010Περιγραφή: v.: digitalISBN: - 9783642162657
| Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
|---|---|---|---|---|---|
Electronic Resource
|
ΒΚΠ - Πατρα | Διαθέσιμο |
