Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 11 Treffer.

Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

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

Verlag: Springer International Publishing, 245 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 07.04.2016

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Integrated Formal Methods

18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings

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

Verlag: Springer International Publishing, 400 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 10.11.2023

106,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Aspects of Component Software

17th International Symposium, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

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

Verlag: Springer International Publishing, 175 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 04.11.2021

48,14 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Concise Guide to Software Verification

From Model Checking to Annotation Checking

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

Verlag: Springer International Publishing, 248 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 24.07.2023

85,59 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

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

Verlag: Springer International Publishing, 270 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 09.11.2024

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

vorbestellbar

zum Artikel

Integrated Formal Methods

18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 400 Seiten

Erscheinungsdatum: 11.11.2023

117,69 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 245 Seiten

Erscheinungsdatum: 08.04.2016

53,50 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Aspects of Component Software

17th International Symposium, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 175 Seiten

Erscheinungsdatum: 05.11.2021

48,14 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 270 Seiten

Erscheinungsdatum: 09.11.2024

53,49 € inkl. MwSt.
kostenloser Versand

vorbestellbar

zum Artikel

Concise Guide to Software Verification

From Model Checking to Annotation Checking

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 248 Seiten

Erscheinungsdatum: 26.07.2024

64,19 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel