Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Tests and Proofs

17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings

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

Verlag: Springer International Publishing, 187 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 19.07.2023

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Tests and Proofs

17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 187 Seiten

Erscheinungsdatum: 20.07.2023

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Engineering of Computer-Based Systems

8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings

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

Verlag: Springer International Publishing, 300 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 28.11.2023

60,98 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Critical Systems: Formal Methods and Automated Verification

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

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

Verlag: Springer International Publishing, 235 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 02.09.2017

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Engineering of Computer-Based Systems

8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 300 Seiten

Erscheinungsdatum: 29.11.2023

62,05 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Critical Systems: Formal Methods and Automated Verification

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 235 Seiten

Erscheinungsdatum: 25.08.2017

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

CyberSecurity in a DevOps Environment

From Requirements to Monitoring

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

Verlag: Springer International Publishing, 324 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 15.12.2023

181,89 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

CyberSecurity in a DevOps Environment

From Requirements to Monitoring

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 324 Seiten

Erscheinungsdatum: 16.12.2023

192,59 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel