This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.
The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.
The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Lecture Notes in Computer Science, 4218 |
Release date | October 2006 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2006 |
Editors | Susanne Graf, Wenhui Zhang |
Dimensions | 235 x 155 x 28mm (L x W x T) |
Format | Paperback |
Pages | 546 |
Edition | 2006 ed. |
ISBN-13 | 978-3-540-47237-7 |
Barcode | 9783540472377 |
Categories | |
LSN | 3-540-47237-1 |