The temporal logic of reactive and concurrent systems
- Författare
- Zohar Manna
- (Zohar Manna, Amir Pneuli.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 1992-9999 | USA, New York, Berlin | 2 vol. ill. | |
| Springer | Cop. 1992 | USA, New York, Berlin | xiv, 427 sidor. |