Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
Verlag:
Springer Verlag Unsere-Artikel-Nr.: P35449952
EAN: 9783032325181
Erhältlich:
Nicht auf Lager
Zustellung: Fr, 16.10.2026
Versand: Kostenlos
-3.3 %
CHF 56.90
CHF 55.–
Spezifikationen
Sprache
- Englisch
Autor
- Eva Darulova
- Anthony W. Lin
- Philipp Rümmer
Zielgruppe
- Research
Erscheinungsjahr
- 2026
Format
- Buch (Softcover)
Anzahl Seiten
- 528