Principles of model checking
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Livre papier |
| Sprache: | Anglais |
| Veröffentlicht: |
Cambridge, (Mass.) ; London :
MIT Press
cop. 2008.
|
| Schlagworte: | |
| Autres localisations: | Voir dans le Sudoc |
Inhaltsangabe:
- Contient des exercices