Alessandro Fantechi - Böcker
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
2 170 kr
Skickas inom 10-15 vardagar
653 kr
Skickas inom 5-8 vardagar
2 181 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
553 kr
Skickas inom 10-15 vardagar
Software Engineering for Resilient Systems
7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
444 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
537 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
556 kr
Skickas inom 10-15 vardagar