Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, ON, Canada, January 15–16, 2024, Proceedings, Part II
Produktform: E-Buch Text Elektronisches Buch in proprietärem
69,54 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, ON, Canada, January 15–16, 2024, Proceedings, Part I
Produktform: E-Buch Text Elektronisches Buch in proprietärem
69,54 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, ON, Canada, January 15–16, 2024, Proceedings, Part I
Produktform: Buch / Einband - flex.(Paperback)
70,61 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, ON, Canada, January 15–16, 2024, Proceedings, Part II
Produktform: Buch / Einband - flex.(Paperback)
70,61 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Software Verification
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers
Produktform: E-Buch Text Elektronisches Buch in proprietärem
58,84 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Software Verification
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
58,84 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage