Automated Technology for Vertification and Analysis electronic resource - 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
- Författare
- Susanne. Graf
- (Edited by Susanne Graf, Wenhui Zhang.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Verlag GmbH. | 2006 | Utgivningsland okänt / Ej specificerat, Berlin Heidelberg | v.: digital | 978-3-540-47238-4 |