Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ...
Edición de la obra Computer Aided Verification
| Autor | Armin Biere, Roderick Bloem |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Aug 04, 2014 |
| Páginas | 911 |
| Formato | paperback |
| ISBN-13 | 9783319088662 |
| ISBN-10 | 3319088661 |
| Número de Cutter | B588c |