Nantilus
Model checking
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled |
| Publié : |
Cambridge, Mass. :
MIT Press
, 1999 |
| Description matérielle : | XVI-314 p. |
| Sujets : |
Bib. Centrale Nantes
| | Cote | Prêt | Statut |
|---|---|---|---|
| Bibliothèque | 681.3 A05 CLA | Empruntable | Disponible |