Model Checking Software [electronic resource] 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings edited by Jaco Pol, Michael Weber
Τύπος υλικού:![Κιτ](/opac-tmpl/lib/famfamfam/MX.png)
- 9783642161643
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα | Διαθέσιμο |