Principles of model checking
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Livre papier |
| Lingua: | Anglais |
| Pubblicazione: |
Cambridge, (Mass.) ; London :
MIT Press
cop. 2008.
|
| Soggetti: | |
| Autres localisations: | Voir dans le Sudoc |
| Descrizione fisica: | 1 volume (xvii-975 pages) : illustrations ; 26 cm. |
|---|---|
| Bibliografia: | Bibliographie p. 931-964. Index |
| ISBN: | 9780262026499 (rel.) 026202649X (rel.) |