Damiani, Ferruccio books & textbook
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering)
Beckert, Bernhard Damiani, Ferruccio de Boer, Frank S. Bonsangue, Marcello M.
Springer /2013-01-03 Paperback / 366 Pages
isbn-10: 3642358861 / isbn-13: 9783642358869
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers (Lecture Notes in Computer Science, 3085)
Berardi, Stefano Coppo, Mario Damiani, Ferruccio
Springer /2004-06-15 Paperback / 422 Pages
isbn-10: 3540221646 / isbn-13: 9783540221647
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science, 7421)
Beckert, Bernhard Damiani, Ferruccio Gurov, Dilian
Springer /2012-07-19 Paperback / 261 Pages
isbn-10: 3642317618 / isbn-13: 9783642317613
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science, 5497)
Berardi, Stefano Damiani, Ferruccio de Liguoro, Ugo
Springer /2009-06-19 Paperback / 331 Pages
isbn-10: 3642024432 / isbn-13: 9783642024436
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... (Programming and Software Engineering)
Bernardo, Marco Damiani, Ferruccio Haehnle, Reiner Johnsen, Einar Broch Schaefer, Ina
Springer /2014-05-21 Paperback / 351 Pages
isbn-10: 3319073168 / isbn-13: 9783319073163
Active Object Languages: Current Research Trends (Lecture Notes in Computer Science)
de Boer, Frank Damiani, Ferruccio Hähnle, Reiner Broch Johnsen, Einar Kamburjan, Eduard
Springer /2024-01-29 Paperback / 388 Pages
isbn-10: 3031510593 / isbn-13: 9783031510595
Coordination Models and Languages (Programming and Software Engineering)
Damiani, Ferruccio Dardha, Ornela
Springer /2021-06-06 Paperback / 320 Pages
isbn-10: 3030781410 / isbn-13: 9783030781415
