Automated Technology for Verification and Analysis
20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
80,24 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Automated Technology for Verification and Analysis
20th International Symposium, ATVA 2022, Beijing, China, October 25–28, 2022, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
80,24 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage