Alessandro Fantechi – författare
Visar alla böcker från författaren Alessandro Fantechi. Handla med fri frakt och snabb leverans.
12 produkter
Formal Methods for Open Object-Based Distributed Systems
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
Av Roberto Gorrieri, Alessandro Fantechi m. fl.
E-bok, 2013
2948 kr
Lägg i varukorg
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book …
Formal Methods for Open Object-Based Distributed Systems
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
Av International Conference on Formal Metho, International Federation for Information m. fl.
Inbunden, 1999
2236 kr
Lägg i varukorg
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book …
Formal Methods for Open Object-Based Distributed Systems
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
Av Paolo Ciancarini, Alessandro Fantechi m. fl.
Häftad, 2013
2236 kr
Lägg i varukorg
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book …
From Software Engineering to Formal Methods and Tools, and Back
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Av Maurice H. ter Beek, Alessandro Fantechi m. fl.
Häftad, 2019
566 kr
Lägg i varukorg
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,The Festschrift consists of eight sections, …
From Software Engineering to Formal Methods and Tools, and Back
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Av Laura Semini, Alessandro Fantechi m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, …
Software Engineering for Resilient Systems
7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Av Alessandro Fantechi, Patrizio Pelliccione
Häftad, 2015
455 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015.The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are …
Software Engineering for Resilient Systems
7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Av Patrizio Pelliccione, Alessandro Fantechi
E-bok, 2015
575 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015.The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are …
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Av Alessandro Fantechi, Thierry Lecomte m. fl.
Häftad, 2017
550 kr
Lägg i varukorg
This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are …
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Av Alexander Romanovsky, Thierry Lecomte m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are …
Formal Methods for Industrial Critical Systems
13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Av Darren Cofer, Alessandro Fantechi
Häftad, 2009
566 kr
Lägg i varukorg
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and …
Formal Methods for Industrial Critical Systems
13th International Workshop, FMICS 2008, L''Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Av Alessandro Fantechi, Darren Cofer
E-bok, 2009
739 kr
Lägg i varukorg
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and …
