Model Checking
Edición de la obra Model checking
| Autor | Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith |
|---|---|
| Editorial | The MIT Press |
| Fecha de publicación | Dec 04, 2018 |
| Páginas | 424 |
| Formato | hardcover |
| ISBN-13 | 9780262038836 |
| ISBN-10 | 0262038838 |
| OCLC |