Formal Modeling and Analysis of Timed Systems [electronic resource] 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings edited by Krishnendu Chatterjee, Thomas A. Henzinger
Τύπος υλικού:![Κιτ](/opac-tmpl/lib/famfamfam/MX.png)
- 9783642152979
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα | Διαθέσιμο |