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 Experimental and Applied Mechanics, Volume 4 by

bigCover of the book Wireless Algorithms, Systems, and Applications by

bigCover of the book Space Charge Physics for Particle Accelerators by

bigCover of the book Soft Computing for Sustainability Science by

bigCover of the book Strain Mechanisms in Lead-Free Ferroelectrics for Actuators by

bigCover of the book In-situ Structure Characterization of Elastomers during Deformation and Fracture by

bigCover of the book From the Great Wall to Wall Street by

bigCover of the book Uncertainty Modeling by

bigCover of the book Minimalist Syntax for Quantifier Raising, Topicalization and Focus Movement: A Search and Float Approach for Internal Merge by

bigCover of the book Urban Infrastructure Research by

bigCover of the book Oil and Gas Exploration in Cuba by

bigCover of the book The Politics of Contaminated Sites Management by

bigCover of the book Chronic Lymphocytic Leukemia by

bigCover of the book Biotechnology of Extremophiles: by

bigCover of the book Cruise Business Development 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