Yüklüyor......
The Temporal logic of reactive and concurrent systems
| Asıl Yazarlar: | , |
|---|---|
| Materyal Türü: | Printed Book |
| Baskı/Yayın Bilgisi: |
New York, Springer Verlag
1992
|
| Konular: |
MG University
| Yer Numarası: |
005.1 N2 |
|---|---|
| Kopya Bilgisi | Konumu erişilebilir değil. |