Alessandro Fantechi - Böcker
Visar alla böcker från författaren Alessandro Fantechi.
6 produkter
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
Inbunden, Engelska, 1999
2 809 kr
Skickas inom 10-15 vardagar
2 809 kr
Skickas inom 10-15 vardagar
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
Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar
Del 9274 - Lecture Notes in Computer Science
Software Engineering for Resilient Systems
7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Häftad, Engelska, 2015
589 kr
Skickas inom 10-15 vardagar
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
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
Häftad, Engelska, 2009
729 kr
Skickas inom 10-15 vardagar