Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings - Programming and Software Engineering - Kedar S Namjoshi - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540755951 - October 9, 2007
In case cover and title do not match, the title is correct

Kedar S Namjoshi
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings - Programming and Software Engineering 2007 edition

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 16 - 22

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects;

570 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 9, 2007
ISBN13 9783540755951
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 570
Dimensions 155 × 235 × 30 mm   ·   884 g
Language French  
Editor Higashino, Teruo
Editor Namjoshi, Kedar
Editor Okamura, Yoshio
Editor Yoneda, Tomohiro

Mere med samme udgiver

See all of Kedar S Namjoshi ( e.g. Paperback Book )