The spin model checker : primer and reference manual /

Détails bibliographiques
Auteur principal: Holzmann, Gerald J., 1951-
Format: Livre
Langue:English
Publié: Boston, MA : Addison-Wesley, c2004.
Sujets:
Classic Catalogue: View this record in Classic Catalogue

Ayesha Abed Library: General Shelf

Informations d'exemplaires de Ayesha Abed Library: General Shelf
Cote: 620.001171 HOL
Exemplaire 1 Disponible  Réserver
Exemplaire 2 Disponible  Réserver