Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 16 Treffer.


Formal Techniques in Real-Time and Fault-Tolerant Systems

7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

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

Verlag: Springer Berlin, 462 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 30.06.2003

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Techniques in Real-Time and Fault-Tolerant Systems

7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 462 Seiten

Erscheinungsdatum: 28.08.2002

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Correct System Design

Recent Insights and Advances

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 422 Seiten

Erscheinungsdatum: 22.09.1999

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Correct System Design

Recent Insights and Advances

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

Verlag: Springer Berlin, 422 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 26.06.2003

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

sofort lieferbar - Lieferzeit 1-3 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

Verification of Sequential and Concurrent Programs

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

Verlag: Springer US, 444 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 09.03.2013

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Verification of Sequential and Concurrent Programs

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

Verlag: Springer US, Auflage 2, 364 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 09.03.2013

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Programmverifikation

Sequentielle, parallele und verteilte Programme

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

Verlag: Springer Berlin, 258 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 07.03.2013

22,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Provably Correct Systems

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 328 Seiten

Erscheinungsdatum: 03.05.2018

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel