Spin Model Checker
Primer and Reference Manual
Edición de la obra Spin Model Checker
| Autor | Gerard Holzmann |
|---|---|
| Editorial | Pearson Education, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| Páginas | 608 |
| ISBN-13 | 9780321773715 |
| Número de Cutter | H762s |
Primer and Reference Manual
Edición de la obra Spin Model Checker
| Autor | Gerard Holzmann |
|---|---|
| Editorial | Pearson Education, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| Páginas | 608 |
| ISBN-13 | 9780321773715 |
| Número de Cutter | H762s |