Model Checking
Edición de la obra Model checking
| Autor | Orna Grumberg, Edmund M. Clarke Jr., Doron Peleg |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 1999 |
| Idioma | inglés |
| Páginas | 330 |
| ISBN-13 | 9780262270458 |
| Número de Cutter | G887m |
Edición de la obra Model checking
| Autor | Orna Grumberg, Edmund M. Clarke Jr., Doron Peleg |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 1999 |
| Idioma | inglés |
| Páginas | 330 |
| ISBN-13 | 9780262270458 |
| Número de Cutter | G887m |