The spin model checker : primer and reference manual [ Livre] : / Gerard J., Holzmann
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Boston : Addison-Wesley, 2004Description : XII-596 p. ; ill. ; 25 cmISBN: 0321228626.Classification: 004.1 Informatique théoriqueSujet - Nom commun: Logiciels -- Essais | Ingénierie des systèmes -- Modèles mathématiquesCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | 004.1 HOL (Browse shelf) | Available | 004.1 Informatique théorique | 000105141 |
Bibliogr. Index