Showing 1 - 1 results of 1 for search 'Holzmann, Gerard Johan, 1951-', query time: 0.01s
Refine Results
-
1
The spin model checker : primer and reference manual / by Holzmann, Gerard Johan, 1951-
Published 2004Call Number: Loading…
Located: Loading…Book Loading…
Search Tools:
Related Subjects
Computer programs
Ingeniería de sistemas
Logic of programs
Logics and meanings of programs
Lógica de programas
Lógica y significado de programas
Mathematical models
Meanings of programs
Modelos Spin
Modelos matemáticos
Significado de programas
Spin model
Systems engineering
Testing
Verificacción de programas
Verifying programs