Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Automated Technology for Verification and Analysis
18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
Produkt bewerten
Verlag:
Springer Unsere-Artikel-Nr.: P37098735
EAN: 9783030591519
Erhältlich:
Nicht auf Lager
Zustellung: Di, 25.08.2026
Versand: Kostenlos
CHF 68.50