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

Preis

€ 62,49

Bestellware

Lieferdatum: ca. 23. Okt - 4. Nov

Unsere Kunden sagen:

14-Tage-Rückgaberecht

Topbewertung bei Trustpilot

Zu deiner iMusic Wunschliste hinzufügen

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

Medien	Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum	9. Oktober 2007
ISBN13	9783540755951
Verlag	Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl	570
Maße	155 × 235 × 30 mm · 884 g
Sprache	Französisch
Redakteur	Higashino, Teruo
Redakteur	Namjoshi, Kedar
Redakteur	Okamura, Yoshio
Redakteur	Yoneda, Tomohiro

Alle Titel von Kedar S Namjoshi ansehen ( u. a. Taschenbuch )