Handbook of Model Checking
Edición de la obra Handbook of Model Checking
| Autor | Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2017 |
| Idioma | inglés |
| ISBN-13 | 9783319105758 |
| Número de Cutter | C597h |