Ferruccio Damiani – författare
Visar alla böcker från författaren Ferruccio Damiani.
8 produkter
Coordination Models and Languages
23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
Av Ferruccio Damiani, Ornela Dardha
Häftad, 2021
739 kr
Lägg i varukorg
Active Object Languages: Current Research Trends
Av Frank de Boer, Ferruccio Damiani m. fl.
Häftad, 2024
1109 kr
Lägg i varukorg
Integrated Formal Methods
20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings
Av Ferruccio Damiani, Marie Farrell
Häftad, 2025
969 kr
Lägg i varukorg
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, 2014, Advanced Lectures
Av Marco Bernardo, Ferruccio Damiani m. fl.
Häftad, 2014
739 kr
Lägg i varukorg
Types for Proofs and Programs
International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Av Stefano Berardi, Mario Coppo m. fl.
Häftad, 2004
739 kr
Lägg i varukorg
Types for Proofs and Programs
International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Av Stefano Berardi, Ferruccio Damiani m. fl.
Häftad, 2009
739 kr
Lägg i varukorg
Formal Verification of Object-Oriented Software
International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Av Bernhard Beckert, Ferruccio Damiani m. fl.
Häftad, 2012
679 kr
Lägg i varukorg
Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Av Bernhard Beckert, Ferruccio Damiani m. fl.
Häftad, 2013
739 kr
Lägg i varukorg