Symbolic model checking
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
Boston :
Kluwer Academic
cop. 1993.
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
INSA CVL Bourges
| Localisation | Cote | Type de prêt | Statut | |
|---|---|---|---|---|
| Informatique | 004.21 MCM | Disponible |