Alessandro Fantechi – författare

Visar alla böcker från författaren Alessandro Fantechi.

6 produkter

1. 

   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

   2919 kr

   Lägg i varukorg

2. 

   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

   2919 kr

   Lägg i varukorg

3. 

   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

   739 kr

   Lägg i varukorg

4. 

   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

   589 kr

   Lägg i varukorg

5. 

   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

   719 kr

   Lägg i varukorg

6. 

   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

   739 kr

   Lägg i varukorg