VLB Suche

Suche in den Daten des Verzeichnisses lieferbarer Bücher (VLB)

Drucken

Suchergebnisse

Produktdetails

Automated Technology for Verification and Analysis

Autor
Herausgegeben von Namjoshi, Kedar, Herausgegeben von Yoneda, Tomohiro, Herausgegeben von Higashino, Teruo, Herausgegeben von Okamura, Yoshio

Automated Technology for Verification and Analysis

Untertitel
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Verlag
Springer Berlin
ISBN/EAN
978-3-540-75596-8
Preis
53,49 EUR
Status
lieferbar