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 |
| Fecha de publicación | Jul 20, 2019 |
| Páginas | 1210 |
| Formato | paperback |
| ISBN-13 | 9783030132330 |
| ISBN-10 | 3030132331 |
| Número de Cutter | C597h |