Automated Technology for Verification and Analysis|Broschiertes Buch|Englisch

Artikelzustand: Neu
EUR 83,99
(inkl. MwSt.)
Bewährter Verkäufer
Rücknahmen
Keine Rücknahme, aber abgesichert über den eBay-Käuferschutz
Zahlungen
Kreditkarte
Weitere
Kreditkarte
 
 
Artikelzustand
Neu
Stückzahl
1 verfügbar
Format
Taschenbuch
Hersteller/Verlag
Springer, Berlin
Gewicht
884g
ISBN
3540755950
EAN
9783540755951

Artikelbeschreibung

"Broschiertes Buch. Automated Technology for Verification and Analysis von Herausgeber: Yoneda, Tomohiro, Namjoshi, Kedar, Okamura, Yoshio, Higashino, Teruo (Buch). This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007."
Alle ansehenArtikelbeschreibung