Φορτώνει......
Principles of model checking /
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Printed Book |
| Γλώσσα: | English |
| Έκδοση: |
Cambridge, Mass. :
The MIT Press,
[2012
|
| Θέματα: | |
| Διαθέσιμο Online: | http://www.loc.gov/catdir/toc/ecip0727/2007037603.html |
Διαδίκτυο
http://www.loc.gov/catdir/toc/ecip0727/2007037603.htmlDCS
| Ταξιθετικός Αριθμός: |
51 BAI |
|---|---|
| Αντίγραφο | Η τρέχουσα κατάσταση είναι άγνωστη |