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 - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540755951 - tiistai 9. lokakuuta 2007
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 66,99

Tilattu etävarastosta

Arvioitu toimitus ti 23. heinä - pe 2. elo

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 9. lokakuuta 2007
ISBN13 9783540755951
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 570
Mitta 155 × 235 × 30 mm   ·   884 g
Kieli French  
Toimittaja Higashino, Teruo
Toimittaja Namjoshi, Kedar
Toimittaja Okamura, Yoshio
Toimittaja Yoneda, Tomohiro

Katso kaikki joka sisältää Kedar S Namjoshi ( Esim. Paperback Book )