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 I
Verlag:
Springer Unsere-Artikel-Nr.: P37097115
EAN: 9783030532871
Erhältlich:
Nicht auf Lager
Zustellung: Di, 27.10.2026
Versand: Kostenlos
CHF 57.50