This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007.
The 29 revised full papers presented together with 7 short papers were carefully reviewed and selected from 88 submissions. The papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007.
The 29 revised full papers presented together with 7 short papers were carefully reviewed and selected from 88 submissions. The papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Programming and Software Engineering, 4762 |
Release date | October 2007 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2007 |
Editors | Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura |
Dimensions | 235 x 155 x 30mm (L x W x T) |
Format | Paperback |
Pages | 570 |
Edition | 2007 ed. |
ISBN-13 | 978-3-540-75595-1 |
Barcode | 9783540755951 |
Categories | |
LSN | 3-540-75595-0 |