Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage