Ferruccio Damiani – författare
Visar alla böcker från författaren Ferruccio Damiani. Handla med fri frakt och snabb leverans.
16 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
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec …
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 Ornela Dardha, Ferruccio Damiani
E-bok, 2021
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. …
Active Object Languages: Current Research Trends
Av Frank de Boer, Ferruccio Damiani m. fl.
Häftad, 2024
848 kr
Lägg i varukorg
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as …
Active Object Languages: Current Research Trends
Av Eduard Kamburjan, Einar Broch Johnsen m. fl.
E-bok, 2024
1091 kr
Lägg i varukorg
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as …
Integrated Formal Methods
20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings
Av Ferruccio Damiani, Marie Farrell
Häftad, 2025
747 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19–21, 2025.The 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected …
Integrated Formal Methods
20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings
Av Marie Farrell, Ferruccio Damiani
E-bok, 2025
985 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19–21, 2025.The 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected …
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
567 kr
Lägg i varukorg
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.SFM 2014 was devoted to executable software models …
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 Ina Schaefer, Einar Broch Johnsen m. fl.
E-bok, 2014
739 kr
Lägg i varukorg
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models …
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
567 kr
Lägg i varukorg
These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The …
Types for Proofs and Programs
International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Av Ferruccio Damiani, Mario Coppo m. fl.
E-bok, 2004
755 kr
Lägg i varukorg
These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The …
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
567 kr
Lägg i varukorg
These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26–29, 2008 in Turin, Italy. The topic of this workshop, and of all previous workshops of the same project, was …
Types for Proofs and Programs
International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Av Ugo de Liguoro, Ferruccio Damiani m. fl.
E-bok, 2009
755 kr
Lägg i varukorg
These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26–29, 2008 in Turin, Italy. The topic of this workshop, and of all previous workshops of the same project, was …
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
523 kr
Lägg i varukorg
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701. The 10 revised full papers presented together with 5 …
Formal Verification of Object-Oriented Software
International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Av Dilian Gurov, Ferruccio Damiani m. fl.
E-bok, 2012
672 kr
Lägg i varukorg
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701. The 10 revised full papers presented together with 5 …
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
567 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the …
Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Av Marcello M. Bonsangue, Frank S. de Boer m. fl.
E-bok, 2013
734 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the …
