Time for Verification [electronic resource] Essays in Memory of Amir Pnueli edited by Zohar Manna, Doron A. Peled
Τύπος υλικού: ΚιτΓλώσσα: Αγγλικά Σειρά: Lecture Notes in Computer Science ; 6200Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010Περιγραφή: v.: digitalISBN:- 9783642137549
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
Electronic Resource | ΒΚΠ - Πατρα | Διαθέσιμο |