Principles of model checking
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
Cambridge, (Mass.) ; London :
MIT Press
cop. 2008.
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
Orléans - BU Sciences Technologies STAPS
| Localisation | Cote | Type de prêt | Statut | |
|---|---|---|---|---|
| Magasin | F15818 | Disponible |