Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Sale price
$49.49
Regular price $54.99
Skip to product information
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Sale price
$49.49
Regular price $54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science Programming and Software Engineering
Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Kedar Namjoshi | Tomohiro Yoneda | Teruo Higashino | Yoshio Okamura
Computers / Design, Graphics & Media / CAD-CAM
| Publication Date: | 09 October 2007 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540755951 |
| Format: | Paperback softback |
| Page Count: | 570 |