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 Numerical Algebra, Matrix Theory, Differential-Algebraic Equations and Control Theory by

bigCover of the book Human-Computer Interaction – INTERACT 2015 by

bigCover of the book Trends and Applications in Knowledge Discovery and Data Mining by

bigCover of the book Theology and New Materialism by

bigCover of the book Swift, Certain and Fair by

bigCover of the book Dynamic Neuroscience by

bigCover of the book Robotics Research by

bigCover of the book Mediated Campaigns and Populism in Europe by

bigCover of the book The Philosophy of Historical Case Studies by

bigCover of the book Theoretical Approaches to Analysis and Interpretation of Commingled Human Remains by

bigCover of the book For Whose Benefit? by

bigCover of the book Biology of Rove Beetles (Staphylinidae) by

bigCover of the book An Introduction to Silent Speech Interfaces by

bigCover of the book Form, Space and Design by

bigCover of the book How to Do Science with Models 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