Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Automated Technology for Verification and Analysis
| Autor | Doron A. Peled |
|---|---|
| Editorial | Springer |
| Fecha de publicación | October 26, 2005 |
| Idioma | inglés |
| Páginas | 506 |
| Formato | Paperback |
| ISBN-13 | 9783540292098 |
| ISBN-10 | 3540292098 |
| OCLC | 61766584 |
| LCCN | 2005932760 |
| Número de Cutter |