Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
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 | 640 |
| Formato | paperback |
| ISBN-13 | 9783319633893 |
| ISBN-10 | 3319633899 |
| Número de Cutter | M234c |