Caricamento...
The Temporal logic of reactive and concurrent systems
| Autori principali: | , |
|---|---|
| Natura: | Printed Book |
| Pubblicazione: |
New York, Springer Verlag
1992
|
| Soggetti: |
MG University
| Collocazione: |
005.1 N2 |
|---|---|
| Copia | Status in tempo reale non disponibile |