Temporal verification of reactive systems - safety
- Författare
- Zohar Manna
- (Zohar Manna, Amir Pnueli.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | c1995 | Storbritannien, New York, London | xviii, 512p ill 25cm |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | c1995 | Storbritannien, New York, London | xviii, 512p ill 25cm |