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 - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540755951 - 9 października 2007
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 275,90

Zamówione z odległego magazynu

Przewidywana dostawa 24 lip - 5 sie

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 9 października 2007
ISBN13 9783540755951
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 570
Wymiary 155 × 235 × 30 mm   ·   884 g
Język French  
Redaktor Higashino, Teruo
Redaktor Namjoshi, Kedar
Redaktor Okamura, Yoshio
Redaktor Yoneda, Tomohiro

Zobacz wszystko od Kedar S Namjoshi ( np. Paperback Book )