Model Checking
Edición de la obra Model checking
| Autor | E. M. Clarke, Orna Grumberg, Doron Peled |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 1999 |
| Idioma | inglés |
| ISBN-13 | 9780585385587 |
| Número de Cutter | C597m |
Edición de la obra Model checking
| Autor | E. M. Clarke, Orna Grumberg, Doron Peled |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 1999 |
| Idioma | inglés |
| ISBN-13 | 9780585385587 |
| Número de Cutter | C597m |