Formal Methods and Software Engineering
24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
60,98 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Methods and Software Engineering
24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
62,05 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, 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
Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Theorem Proving in Higher Order Logics
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. 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
Theorem Proving in Higher Order Logics
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Verification and Evaluation of Computer and Communication Systems
11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 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
Verification and Evaluation of Computer and Communication Systems
11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage