Principles of model checking / Christel Baier, Joost-Pieter Katoen.
Αποθηκεύτηκε σε:
| Έκδοση: |
Cambridge, Mass. :
The MIT Press,
[2008?]
|
|---|---|
| Κύριος συγγραφέας: | |
| Άλλοι συγγραφείς: | |
| Θέματα: | |
| Μορφή: | Βιβλίο |
EPS Library, Level 2
|
Ταξιθετικός Αριθμός
Αντίγραφο
Loan Type
Κατάσταση
Κάντε κράτηση
|
|||||
