The spin model checker : primer and reference manual /

The spin model checker : primer and reference manual /

Manylion Llyfryddiaeth
Prif Awdur: Holzmann, Gerald J., 1951-
Fformat: Llyfr
Iaith:English
Cyhoeddwyd: Boston, MA : Addison-Wesley, c2004.
Pynciau:
Systems engineering > Mathematical models.
Computer programs > Testing.
Classic Catalogue: View this record in Classic Catalogue

Ayesha Abed Library: General Shelf

Manylion daliadau o Ayesha Abed Library: General Shelf
Rhif Galw: 620.001171 HOL
Copi 1 Ar gael  Gwneud Cais
Copi 2 Ar gael  Gwneud Cais

Eitemau Tebyg