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: F 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
F HOL (Browse shelf) Available F Informatique théorique 000105141

Bibliogr. Index

Powered by Koha