Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... I
Edición de la obra Computer Aided Verification
| Autor | Hana Chockler, Georg Weissenbacher |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jul 22, 2018 |
| Páginas | 722 |
| Formato | paperback |
| ISBN-13 | 9783319961446 |
| ISBN-10 | 3319961446 |
| Número de Cutter | C545c |