The spin model checker : primer and reference manual /

Detalles Bibliográficos
Autor Principal: Holzmann, Gerald J., 1951-
Formato: Libro
Idioma:English
Publicado: Boston, MA : Addison-Wesley, c2004.
Subjects:
Classic Catalogue: View this record in Classic Catalogue

Ayesha Abed Library: General Shelf

Detalle de Existencias desde Ayesha Abed Library: General Shelf
Número de Clasificación: 620.001171 HOL
Copia 1 Dispoñible  Facer reserva
Copia 2 Dispoñible  Facer reserva