Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Edición de la obra Computer Aided Verification
| Autor | Rupak Majumdar, Viktor Kunčak |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jul 13, 2017 |
| Páginas | 620 |
| Formato | paperback |
| ISBN-13 | 9783319633862 |
| ISBN-10 | 3319633864 |
| Número de Cutter | M234c |