Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 11 Treffer.


Logical Foundations of Cyber-Physical Systems

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

Verlag: Springer International Publishing, 639 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 30.07.2018

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Logical Analysis of Hybrid Systems

Proving Theorems for Complex Dynamics

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


Verlag: Springer Berlin, 426 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 02.09.2010

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Logical Analysis of Hybrid Systems

Proving Theorems for Complex Dynamics

Produktform: Buch / Einband - flex.(Paperback)


Verlag: Springer Berlin, Auflage 1, 426 Seiten

Erscheinungsdatum: 28.11.2014

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Logical Analysis of Hybrid Systems

Proving Theorems for Complex Dynamics

Produktform: Buch / Einband - fest (Hardcover)


Verlag: Springer Berlin, Auflage 1, 426 Seiten

Erscheinungsdatum: 05.09.2010

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Logical Foundations of Cyber-Physical Systems

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 639 Seiten

Erscheinungsdatum: 08.02.2019

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Logical Foundations of Cyber-Physical Systems

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 639 Seiten

Erscheinungsdatum: 11.08.2018

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Automated Deduction – CADE 28

28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 650 Seiten

Erscheinungsdatum: 08.07.2021

42,79 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Correct System Design

Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

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

Verlag: Springer International Publishing, 279 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 03.09.2015

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Correct System Design

Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 279 Seiten

Erscheinungsdatum: 03.09.2015

51,36 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 680 Seiten

Erscheinungsdatum: 11.09.2024

42,79 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel