The spin model checker : primer and reference manual /

Bibliografiset tiedot
Päätekijä: Holzmann, Gerald J., 1951-
Aineistotyyppi: Kirja
Kieli:English
Julkaistu: Boston, MA : Addison-Wesley, c2004.
Aiheet:
Classic Catalogue: View this record in Classic Catalogue

Ayesha Abed Library: General Shelf

Saatavuus: Ayesha Abed Library: General Shelf
Hyllypaikka: 620.001171 HOL
Nide 1 Saatavissa  Tee varaus
Nide 2 Saatavissa  Tee varaus