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 809 kr
Skickas inom 10-15 vardagar
2 809 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
729 kr
Skickas inom 10-15 vardagar
Software Engineering for Resilient Systems
7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
589 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
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
729 kr
Skickas inom 10-15 vardagar