15 results
Type of media (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
15 results

Your search for Ferruccio Damiani

  1. Cover: Integrated Formal Methods - Springer
    Ferruccio Damiani | Marie Farrell
    Integrated Formal Methods
    20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings
    11/2025
    Springer
    9783032107947 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  2. Cover: Coordination Models and Languages - Springer
    Ferruccio Damiani | Ornela Dardha
    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
    06/2021
    Springer
    9783030781422 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Active Object Languages: Current Research Trends - Springer
    Frank de Boer | Ferruccio Damiani | Reiner Hähnle
    Active Object Languages: Current Research Trends
    01/2024
    Springer
    9783031510601 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  4. Cover: Formal Methods for Components and Objects - Springer
    Bernhard Beckert | Ferruccio Damiani | Frank S. de Boer
    Formal Methods for Components and Objects
    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    01/2013
    Springer
    9783642358876 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Formal Methods for Executable Software Models - Springer
    Marco Bernardo | Ferruccio Damiani | Reiner Haehnle
    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
    05/2014
    Springer
    9783319073170 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Formal Verification of Object-Oriented Software - Springer
    Bernhard Beckert | Ferruccio Damiani | Dilian Gurov
    Formal Verification of Object-Oriented Software
    International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
    07/2012
    Springer
    9783642317620 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  7. Cover: Types for Proofs and Programs - Springer
    Stefano Berardi | Mario Coppo | Ferruccio Damiani
    Types for Proofs and Programs
    International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
    05/2004
    Springer
    9783540248491 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Coordination Models and Languages - Springer
    Ferruccio Damiani | Ornela Dardha
    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
    06/2021
    Springer
    9783030781415 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Formal Methods for Components and Objects - Springer
    Bernhard Beckert | Ferruccio Damiani | Frank S. de Boer
    Formal Methods for Components and Objects
    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    01/2013
    Springer
    9783642358869 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  10. Cover: Formal Verification of Object-Oriented Software - Springer
    Bernhard Beckert | Ferruccio Damiani | Dilian Gurov
    Formal Verification of Object-Oriented Software
    International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
    07/2012
    Springer
    9783642317613 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  11. Cover: Types for Proofs and Programs - Springer
    Stefano Berardi | Ferruccio Damiani | Ugo De Liguoro
    Types for Proofs and Programs
    International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
    06/2009
    Springer
    9783642024436 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  12. Cover: Integrated Formal Methods - Springer
    Ferruccio Damiani | Marie Farrell
    Integrated Formal Methods
    20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings
    11/2025
    Springer
    9783032107930 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €70.61
    Shipment within 15-20 days
  13. Cover: Active Object Languages: Current Research Trends - Springer
    Frank de Boer | Ferruccio Damiani | Reiner Hähnle
    Active Object Languages: Current Research Trends
    01/2024
    Springer
    9783031510595 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 15-20 days
  14. Cover: Formal Methods for Executable Software Models - Springer
    Marco Bernardo | Ferruccio Damiani | Reiner Haehnle
    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
    05/2014
    Springer
    9783319073163 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  15. Cover: Types for Proofs and Programs - Springer
    Stefano Berardi | Mario Coppo | Ferruccio Damiani
    Types for Proofs and Programs
    International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
    06/2004
    Springer
    9783540221647 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days