Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Verification, Model Checking, and Abstract Interpretation
14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Verlag:
Springer EN Unsere-Artikel-Nr.: P36993816
EAN: 9783642358722
Erhältlich:
Nicht auf Lager
Zustellung: Di, 15.09.2026
Versand: Kostenlos
-16.7 %
CHF 69.–
CHF 57.50
Spezifikationen
Sprache
- Englisch
Autor
- Roberto Giacobazzi
- Josh Berdine
- Isabella Mastroeni
Zielgruppe
- Research
Erscheinungsjahr
- 2013
Format
- Buch (Softcover)
Anzahl Seiten
- 556