Skip to product information
Automated Technology for Verification and Analysis
  • Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

$49.49 $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

You may also like