Automated Technology For Verification And Analysis: 5Th International Symposium Atva 2007 Tokyo Japan October 2225 2007 Proceedings (Lecture ... / Programming And Software Engineering) (Paperback)

ISBN: 9783540755951

Author : Namjoshi Kedar

Pages: 586

Size: 15.5 x 3.4 x 23.5 cm

Publisher Name: Springer

€ 99.99

€ 79.99

Description TOC Author Information Reviews (0)

Write a review

Your Name:

Your Review: Note: HTML is not translated!

Rating: Bad Good

Enter the code in the box below:

Continue

Tags: