The spin model checker : primer and reference manual /

The spin model checker : primer and reference manual /

Podrobná bibliografie
Hlavní autor: Holzmann, Gerald J., 1951-
Médium: Kniha
Jazyk:English
Vydáno: Boston, MA : Addison-Wesley, c2004.
Témata:
Systems engineering > Mathematical models.
Computer programs > Testing.
Classic Catalogue: View this record in Classic Catalogue

Ayesha Abed Library: General Shelf

Informace o exemplářích z: Ayesha Abed Library: General Shelf
Signatura: 620.001171 HOL
Jednotka 1 Dostupné  Požadavek
Jednotka 2 Dostupné  Požadavek

Podobné jednotky