Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Computer Aided Verification
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Verlag:
Springer Unsere-Artikel-Nr.: P37097698
EAN: 9783030532901
Erhältlich:
Nicht auf Lager
Zustellung: Di, 27.10.2026
Versand: Kostenlos
CHF 57.50