Εξώφυλλο από Amazon.com
Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] A Temporal Logic Approach by Wojciech Penczek, Agata PΓ³lrola
Τύπος υλικού:
ΚιτΓλώσσα: Αγγλικά Σειρά: Studies in Computational Intelligence ; 20Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006Περιγραφή: v.: digitalISBN: - 9783540328704
| Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
|---|---|---|---|---|---|
Electronic Resource
|
ΒΚΠ - Πατρα | Διαθέσιμο |
