Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 14 Treffer.


Using Event-B for Critical Device Software Systems

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


This book presents an innovative development approach for critical systems and prototype implementation. It provides a novel approach for medical protocol verification, which can help to verify the diagnosis process.

Verlag: Springer London, 326 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 19.06.2013

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Using Event-B for Critical Device Software Systems

Produktform: Buch / Einband - fest (Hardcover)


This book presents an innovative development approach for critical systems and prototype implementation. It provides a novel approach for medical protocol verification, which can help to verify the diagnosis process.

Verlag: Springer London, Auflage 1, 326 Seiten

Erscheinungsdatum: 02.07.2013

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Using Event-B for Critical Device Software Systems

Produktform: Buch / Einband - flex.(Paperback)


This book presents an innovative development approach for critical systems and prototype implementation. It provides a novel approach for medical protocol verification, which can help to verify the diagnosis process.

Verlag: Springer London, Auflage 1, 326 Seiten

Erscheinungsdatum: 07.07.2015

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Model and Data Engineering

9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

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

Verlag: Springer International Publishing, 349 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 21.10.2019

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Model and Data Engineering

9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 349 Seiten

Erscheinungsdatum: 08.10.2019

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Industrial System Engineering for Drones

A Guide with Best Practices for Industrial System Design

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

Verlag: APRESS, 261 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 15.07.2019

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Industrial System Engineering for Drones

A Guide with Best Practices for Industrial System Design

Produktform: Buch / Einband - flex.(Paperback)

Verlag: APRESS, Auflage 1, 261 Seiten

Erscheinungsdatum: 15.07.2019

64,19 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Essential Computer Science

A Programmer’s Guide to Foundational Concepts

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

Verlag: APRESS, 290 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 11.06.2021

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Green Technologies for Industrial Waste Remediation

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

Verlag: Springer International Publishing, 316 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 29.11.2023

139,09 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Green Technologies for Industrial Waste Remediation

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 316 Seiten

Erscheinungsdatum: 30.11.2023

149,79 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel