Herausgegeben von: Kristin Yvonne Rozier
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Kristin Yvonne Rozier.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Softcover): Fachbuch
Erscheint: Oktober 2026
Formal Methods for Industrial Critical Systems
31st International Conference, FMICS 2026, Liverpool, UK, September 3–4, 2026, Proceedings
-9.9 %
CHF 82.–
2
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
NASA Formal Methods
15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
-8.2 %
CHF 123.–
3
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Model Checking Software
31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings
-13.6 %
CHF 70.–