Integrated Formal Methods
19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
ca. 139,09 € inkl. MwSt.
Preis kann sich ändern
kostenloser Versand
vorbestellbar
Tests and Proofs
9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
50,28 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Tests and Proofs
9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Produktform: Buch / Einband - flex.(Paperback)
51,36 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Produktform: E-Buch Text Elektronisches Buch in proprietärem
69,54 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Produktform: Buch / Einband - fest (Hardcover)
69,54 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Testing Software and Systems
31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Testing Software and Systems
31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage