Principles of the Spin model checker
- Författare
- M. Ben-Ari
- (Mordechai Ben-Ari.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2008 | Storbritannien, London | 216 sidor. ill. 24 cm. | 978-1-84628-769-5, 978-1-84628-770-1 |