Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 15 Treffer.


Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 295 Seiten

Erscheinungsdatum: 24.11.2024

58,84 € inkl. MwSt.
kostenloser Versand

vorbestellbar

zum Artikel

Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

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

Verlag: Springer International Publishing, 427 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 12.03.2016

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

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 427 Seiten

Erscheinungsdatum: 13.03.2016

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Theoretical Aspects of Computing – ICTAC 2023

20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings

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

Verlag: Springer International Publishing, 440 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 22.11.2023

78,10 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Theoretical Aspects of Computing – ICTAC 2023

20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 440 Seiten

Erscheinungsdatum: 23.11.2023

79,17 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel