Model Checking
Edición de la obra Model checking
| Autor | Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 2018 |
| Idioma | inglés |
| Páginas | 424 |
| ISBN-13 | 9780262349444 |
| Número de Cutter | J89m |