Alessandro Fantechi - Böcker

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

6 produkter

Kategorier

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

AvInternational Conference on Formal Metho,International Federation for Information m. fl.

Inbunden, Engelska, 1999

2 789 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

AvPaolo Ciancarini,Alessandro Fantechi m. fl.

Häftad, Engelska, 2013

2 789 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

AvMaurice H. ter Beek,Alessandro Fantechi m. fl.

Häftad, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

Software Engineering for Resilient Systems

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

AvAlessandro 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

AvAlessandro Fantechi,Thierry Lecomte m. fl.

Häftad, Engelska, 2017

699 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

AvDarren Cofer,Alessandro Fantechi

Häftad, Engelska, 2009

719 kr

Skickas inom 10-15 vardagar