Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Integrated Formal Methods

19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1

Erscheinungsdatum: 07.12.2024

ca. 139,09 € inkl. MwSt.
Preis kann sich ändern
kostenloser Versand

vorbestellbar

zum Artikel

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

Verlag: Springer International Publishing, 209 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 16.07.2015

50,28 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

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)

Verlag: Springer International Publishing, Auflage 1, 209 Seiten

Erscheinungsdatum: 01.07.2015

51,36 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 697 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 09.07.2024

69,54 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 697 Seiten

Erscheinungsdatum: 10.07.2024

69,54 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

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

Verlag: Springer International Publishing, 297 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 08.10.2019

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

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)

Verlag: Springer International Publishing, Auflage 1, 297 Seiten

Erscheinungsdatum: 18.09.2019

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel