Critical Systems: Formal Methods and Automated Verification

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Nonfiction, Computers, Programming, Programming Languages, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Critical Systems: Formal Methods and Automated Verification

More books from Springer International Publishing

bigCover of the book Cellular Automata and Discrete Complex Systems by

bigCover of the book Data-Driven Optimization and Knowledge Discovery for an Enterprise Information System by

bigCover of the book Brazilian Evangelicalism in the Twenty-First Century by

bigCover of the book Advances in Design for Inclusion by

bigCover of the book The AIDS Pandemic by

bigCover of the book Differential Equations by

bigCover of the book US Foreign Policy and the Multinational Force in Lebanon by

bigCover of the book Advances in Metaheuristic Algorithms for Optimal Design of Structures by

bigCover of the book Multidisciplinary Design of Sharing Services by

bigCover of the book Climate Change, Extreme Events and Disaster Risk Reduction by

bigCover of the book Recurrent Pregnancy Loss by

bigCover of the book Complex, Intelligent, and Software Intensive Systems by

bigCover of the book Management of Pelvic Organ Prolapse by

bigCover of the book Normative Plurality in International Law by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy