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 Philosophy in Educational Research by

bigCover of the book Applied Computer Sciences in Engineering by

bigCover of the book Software Technologies by

bigCover of the book Imprecision and Uncertainty in Information Representation and Processing by

bigCover of the book Entrepreneurship in Emerging Economies by

bigCover of the book Nanocrystals from Oriented-Attachment for Energy Applications by

bigCover of the book Entrepreneurial Behaviour by

bigCover of the book Heavy-Tailed Distributions and Robustness in Economics and Finance by

bigCover of the book European Sexual Citizenship by

bigCover of the book Truth in Fiction by

bigCover of the book Functional Dynamic Equations on Time Scales by

bigCover of the book Digital Forensics and Cyber Crime by

bigCover of the book Harmonies of Disorder by

bigCover of the book Towards Bio-based Flame Retardant Polymers by

bigCover of the book Agents and Multi-Agent Systems: Technologies and Applications 2018 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