Herausgegeben von: Bernhard Steffen
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Bernhard Steffen.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Softcover): Fachbuch
Auf Lager:
1
Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
-13.6 %
CHF 70.–
2
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Transactions on Foundations for Mastering Change I
-16.7 %
CHF 57.50
3
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
-4.4 %
CHF 86.–
4
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II
-5.2 %
CHF 91.–
5
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III
-5.2 %
CHF 91.–
6
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Let’s Talk AI
Interdisciplinarity Is a Must
-2.5 %
CHF 54.50