Herausgegeben von: Ferruccio Damiani
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Ferruccio Damiani.
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
Types for Proofs and Programs
International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
-16.7 %
CHF 57.50
2
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Types for Proofs and Programs
International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
-16.7 %
CHF 57.50
3
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
4
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.–
5
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Integrated Formal Methods
20th International Conference, IFM 2025, Paris, France, November 19–21, 2025, Proceedings
-9.9 %
CHF 82.–