The spin model checker : primer and reference manual /

The spin model checker : primer and reference manual /

Bibliografiske detaljer
Hovedforfatter: Holzmann, Gerald J., 1951-
Format: Bog
Sprog:English
Udgivet: Boston, MA : Addison-Wesley, c2004.
Fag:
Systems engineering > Mathematical models.
Computer programs > Testing.
Classic Catalogue: View this record in Classic Catalogue

Ayesha Abed Library: General Shelf

Detaljer om beholdninger fra Ayesha Abed Library: General Shelf
Klassifikationsnummer: 620.001171 HOL
Kopi 1 Tilgængelig  Reservér”
Kopi 2 Tilgængelig  Reservér”

Lignende værker