The spin model checker : primer and reference manual /

Bibliografiska uppgifter
Huvudupphovsman: Holzmann, Gerald J., 1951-
Materialtyp: Bok
Språk:English
Publicerad: Boston, MA : Addison-Wesley, c2004.
Ämnen:
Classic Catalogue: View this record in Classic Catalogue

Ayesha Abed Library: General Shelf

Beståndsuppgifter i Ayesha Abed Library: General Shelf
Signum: 620.001171 HOL
Exemplar 1 Tillgänglig  Reservera
Exemplar 2 Tillgänglig  Reservera