Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Produkt bewerten
Verlag:
Springer EN Unsere-Artikel-Nr.: P35146519
EAN: 9783540755951
Erhältlich:
Nicht auf Lager
Zustellung: Di, 01.09.2026
Versand: Kostenlos
-16.7 %
CHF 69.–
CHF 57.50
Spezifikationen
Sprache
- Englisch
Autor
- Teruo Higashino
- Kedar Namjoshi
- Tomohiro Yoneda
- Yoshio Okamura
Zielgruppe
- Research
Erscheinungsjahr
- 2007
Format
- Buch (Softcover)
Anzahl Seiten
- 570