The spin model checker : primer and reference manual [ Livre] : / Gerard J., Holzmann

Auteur principal: Holzmann, Gerard J.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ématiques
Current 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

Powered by Koha