Formal Methods for Industrial Critical Systems [electronic resource] 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings edited by Stefan Kowalewski, Marco Roveri
Τύπος υλικού:![Κιτ](/opac-tmpl/lib/famfamfam/MX.png)
- 9783642158988
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα | Διαθέσιμο |