Hoppa till sidans huvudinnehåll

Alessandro Fantechi – författare

Visar alla böcker från författaren Alessandro Fantechi.
6 produkter
International Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri - Formal Methods for Open Object-Based Distributed Systems, Inbunden

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 Informationm. fl.

Inbunden, Engelska, 1999

2 889 kr

Skickas inom 10-15 vardagar

Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri - Formal Methods for Open Object-Based Distributed Systems, Häftad
Del 10 - IFIP Advances in Information and Communication Technology

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 Fantechim. fl.

Häftad, Engelska, 2013

2 889 kr

Skickas inom 10-15 vardagar

Maurice H. ter Beek, Alessandro Fantechi, Laura Semini - From Software Engineering to Formal Methods and Tools, and Back, Häftad
Del 11865 - Lecture Notes in Computer Science

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 Fantechim. fl.

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Alessandro Fantechi, Patrizio Pelliccione - Software Engineering for Resilient Systems, Häftad
Del 9274 - Lecture Notes in Computer Science

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

589 kr

Skickas inom 10-15 vardagar

Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad
Del 10598 - Lecture Notes in Computer Science

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 Lecomtem. fl.

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar

Darren Cofer, Alessandro Fantechi - Formal Methods for Industrial Critical Systems, Häftad

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

729 kr

Skickas inom 10-15 vardagar