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 A Treatise of Indian and Tropical Soils by

bigCover of the book Clinical Management of Male Infertility by

bigCover of the book Atheist Identities - Spaces and Social Contexts by

bigCover of the book Philosophy, Dreaming and the Literary Imagination by

bigCover of the book Sustainable Heavy Metal Remediation by

bigCover of the book Natural Language Understanding and Intelligent Applications by

bigCover of the book Sunspots and Non-Linear Dynamics by

bigCover of the book Dialysis Access Cases by

bigCover of the book Sustainable Design and Manufacturing 2017 by

bigCover of the book Computer Science – Theory and Applications by

bigCover of the book New Atheism: Critical Perspectives and Contemporary Debates by

bigCover of the book Applied Dynamics by

bigCover of the book Advances in Information and Communication Networks by

bigCover of the book Building a Culture of Health by

bigCover of the book Advances in Human Factors in Cybersecurity 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