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 Resource Management for Big Data Platforms by

bigCover of the book New Horizons in Fundamental Physics by

bigCover of the book Does Generation Matter? Progressive Democratic Cultures in Western Europe, 1945–1960 by

bigCover of the book The Cultural Life of Capitalism in Yugoslavia by

bigCover of the book Connectomics in NeuroImaging by

bigCover of the book Fundamentals of Tropical Climate Dynamics by

bigCover of the book Introduction to Isotopic Materials Science by

bigCover of the book Structural Chemistry by

bigCover of the book A 3D Visualization Teaching-Learning Trajectory for Elementary Grades Children by

bigCover of the book Artificial Intelligence in Education by

bigCover of the book Smart Industry & Smart Education by

bigCover of the book Transactions on Computational Collective Intelligence XXX by

bigCover of the book The Roskilde Model: Problem-Oriented Learning and Project Work by

bigCover of the book Low-Complexity Controllers for Time-Delay Systems by

bigCover of the book The Human Dimensions of Forest and Tree Health 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