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 Translating National Policy to Improve Environmental Conditions Impacting Public Health Through Community Planning by

bigCover of the book Introduction to Dynamics of Structures and Earthquake Engineering by

bigCover of the book Developing England’s North by

bigCover of the book A First Example of a Lyotropic Smectic C* Analog Phase by

bigCover of the book Lords of the Ice Moons by

bigCover of the book Corporeal Legacies in the US South by

bigCover of the book Inclusion, Disability and Culture by

bigCover of the book Research and Development in Intelligent Systems XXXIII by

bigCover of the book Giants of Eclipse: The ζ Aurigae Stars and Other Binary Systems by

bigCover of the book Ramanujan's Lost Notebook by

bigCover of the book Global and Regional Leadership of BRICS Countries by

bigCover of the book Dynamic Perspectives on Managerial Decision Making by

bigCover of the book Advances in Ergonomics Modeling, Usability & Special Populations by

bigCover of the book The Diary of Queen Maria Carolina of Naples, 1781-1785 by

bigCover of the book Introduction to the Physics of Silicene and other 2D Materials 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