Computer Aided Verification
26th International Conference, CAV 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Edición de la obra Computer Aided Verification
| Autor | Armin Biere, Roderick Bloem |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2014 |
| Idioma | inglés |
| Páginas | 877 |
| ISBN-13 | 9783319088679 |
| Número de Cutter | B588c |