Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Computer aided verification
| Autor | Thomas Ball, Jones, Robert B. |
|---|---|
| Editorial | Springer |
| Fecha de publicación | September 25, 2006 |
| Idioma | inglés |
| Páginas | 564 |
| Formato | Paperback |
| ISBN-13 | 9783540374060 |
| ISBN-10 | 354037406X |
| OCLC | 71247056 |
| LCCN |