Herausgegeben von: Reiner Haehnle
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Reiner Haehnle.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2
-16.7 %
CHF 57.50
2
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
CHF 68.50