VLB Suche
Suche in den Daten des Verzeichnisses lieferbarer Bücher (VLB)
Drucken
Suchergebnisse
Produktdetails
- Autor
- Herausgegeben von Kedar Namjoshi, Herausgegeben von Tomohiro Yoneda, Herausgegeben von Teruo Higashino, Herausgegeben von Yoshio Okamura
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
