Model Checking
Edición de la obra Model checking
| Autor | Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled |
|---|---|
| Editorial | The MIT Press |
| Fecha de publicación | January 7, 1999 |
| Idioma | inglés |
| Páginas | 314 |
| Formato | Hardcover |
| ISBN-13 | 9780262032704 |
| ISBN-10 | 0262032708 |
| OCLC | 40675218, 49568935 |
| LCCN |