The spin model checker : primer and reference manual /

The spin model checker : primer and reference manual /

Bibliografske podrobnosti
Glavni avtor: Holzmann, Gerald J., 1951-
Format: Knjiga
Jezik:English
Izdano: Boston, MA : Addison-Wesley, c2004.
Teme:
Systems engineering > Mathematical models.
Computer programs > Testing.
Classic Catalogue: View this record in Classic Catalogue

Ayesha Abed Library: General Shelf

Podrobnosti zaloge Ayesha Abed Library: General Shelf
Signatura: 620.001171 HOL
Kopija 1 Prosto  Rezerviraj
Kopija 2 Prosto  Rezerviraj

Podobne knjige/članki