Herausgegeben von: Bernhard Beckert
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Bernhard Beckert.
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
The Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
-8.2 %
CHF 123.–
2
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Formal Verification of Object-Oriented Software
International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
-15.4 %
CHF 55.–
3
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Electronic Voting
5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings
CHF 68.50
4
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