Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Automated Technology for Verification and Analysis
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Produkt bewerten
Verlag:
Springer EN Unsere-Artikel-Nr.: P35153467
EAN: 9783642047602
Erhältlich:
Nicht auf Lager
Zustellung: Di, 11.08.2026
Versand: Kostenlos
-17.1 %
CHF 70.–
CHF 58.–
Spezifikationen
Sprache
- Englisch
Autor
- Zhiming Liu
- Anders P. Ravn
Zielgruppe
- Research
Erscheinungsjahr
- 2009
Format
- Buch (Softcover)
Anzahl Seiten
- 414