Automated Technology for Verification and Analysis
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Automated technology for verification and analysis
| Autor | Susanne Graf, Wenhui Zhang |
|---|---|
| Editorial | Springer |
| Fecha de publicación | November 20, 2006 |
| Idioma | inglés |
| Páginas | 540 |
| Formato | Paperback |
| ISBN-13 | 9783540472377 |
| ISBN-10 | 3540472371 |
| OCLC | 74270427 |
| LCCN |