Hoppa till sidans huvudinnehåll

Alessandro Fantechi - Böcker

Visar alla böcker från författaren Alessandro Fantechi.
6 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 International Conference on Formal Metho, International Federation for Information m. fl

Inbunden, Engelska, 1999

2 819 kr

Skickas inom 10-15 vardagar

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, Engelska, 2013

2 819 kr

Skickas inom 10-15 vardagar

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, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Software Engineering for Resilient Systems

7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

Av Alessandro Fantechi, Patrizio Pelliccione

Häftad, Engelska, 2015

579 kr

Skickas inom 10-15 vardagar

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, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar

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, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar