Tell your friends about this item:
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings - Programming and Software Engineering 2007 edition
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
Kedar S Namjoshi
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 |
See all of Kedar S Namjoshi ( e.g. Paperback Book )