Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Formal Modeling and Analysis of Timed Systems

Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

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

Verlag: Springer Berlin, 305 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 29.11.2005

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Tools and Algorithms for the Construction and Analysis of Systems

7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

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

Verlag: Springer Berlin, 594 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 29.06.2003

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Modeling and Analysis of Timed Systems

Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 305 Seiten

Erscheinungsdatum: 13.12.2005

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Tools and Algorithms for the Construction and Analysis of Systems

7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 594 Seiten

Erscheinungsdatum: 21.03.2001

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Dependable Software Engineering: Theories, Tools, and Applications

First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

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

Verlag: Springer International Publishing, 317 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 16.10.2015

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Dependable Software Engineering: Theories, Tools, and Applications

First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 317 Seiten

Erscheinungsdatum: 27.10.2015

51,36 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Treuer Ungehorsam

Erste öffentliche Texte der Hauskirchen zu Staat und Kirche

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Christliche Verlagsgesellschaft, Auflage 1, 448 Seiten

Erscheinungsdatum: 16.05.2024

24,90 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Model Checking, Synthesis, and Learning

Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

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

Verlag: Springer International Publishing, 219 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 02.12.2021

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Model Checking, Synthesis, and Learning

Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 219 Seiten

Erscheinungsdatum: 22.11.2021

69,54 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel