The spin model checker : primer and reference manual /

The spin model checker : primer and reference manual /

Dettagli Bibliografici
Autore principale: Holzmann, Gerald J., 1951-
Natura: Libro
Lingua:English
Pubblicazione: Boston, MA : Addison-Wesley, c2004.
Soggetti:
Systems engineering > Mathematical models.
Computer programs > Testing.
Classic Catalogue: View this record in Classic Catalogue

Ayesha Abed Library: General Shelf

Dettagli sul posseduto da Ayesha Abed Library: General Shelf
Collocazione: 620.001171 HOL
Copia 1 Disponibile  Richiedi
Copia 2 Disponibile  Richiedi

Documenti analoghi