Φορτώνει......
The Temporal logic of reactive and concurrent systems
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | Printed Book |
| Έκδοση: |
New York, Springer Verlag
1992
|
| Θέματα: |
MG University
| Ταξιθετικός Αριθμός: |
005.1 N2 |
|---|---|
| Αντίγραφο | Η τρέχουσα κατάσταση είναι άγνωστη |