Ferruccio Damiani

Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th Inter

Damiani, Ferruccio; Dardha, Ornela
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja

51,10 €

Integrated Formal Methods : 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings

Damiani, Ferruccio; Farrell, Marie
Springer
2025
Pehmeäkantinen kirja

107,50 €

Types for Proofs and Programs - International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Pape

Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja

51,10 €

Types for Proofs and Programs - International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Berardi, Stefano; Damiani, Ferruccio; de Liguoro, Ugo
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

51,10 €

Formal Verification of Object-Oriented Software - International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revise

Beckert, Bernhard; Damiani, Ferruccio; Gurov, Dilian
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

47,20 €

Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Se

Beckert, Bernhard; Damiani, Ferruccio; de Boer, Frank S.; Bonsangue, Marcello M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,10 €

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer,

Bernardo, Marco; Damiani, Ferruccio; Haehnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina
Springer
2014
Pehmeäkantinen kirja

51,10 €

Active Object Languages: Current Research Trends

de Boer, Frank; Damiani, Ferruccio; Hähnle, Reiner; Broch Johnsen, Einar; Kamburjan, Eduard
Springer
2024
Pehmeäkantinen kirja

76,00 €

Ferruccio Damiani | Booky.fi