The spin model checker : primer and reference manual /

The spin model checker : primer and reference manual /

Opis bibliograficzny
1. autor: Holzmann, Gerald J., 1951-
Format: Książka
Język:English
Wydane: Boston, MA : Addison-Wesley, c2004.
Hasła przedmiotowe:
Systems engineering > Mathematical models.
Computer programs > Testing.
Classic Catalogue: View this record in Classic Catalogue

Ayesha Abed Library: General Shelf

Szczegóły zapisu Ayesha Abed Library: General Shelf
Sygnatura: 620.001171 HOL
Egzemplarz 1 Dostępne  Zamów
Egzemplarz 2 Dostępne  Zamów

Podobne zapisy