Critical Systems: Formal Methods and Automated Verification

Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, 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 Engineering Psychology and Cognitive Ergonomics by

bigCover of the book Strategic Design and Innovative Thinking in Business Operations by

bigCover of the book Foundations of the Complex Variable Boundary Element Method by

bigCover of the book Corporate Governance in Banking and Investor Protection by

bigCover of the book Raising Capital or Improving Risk Management and Efficiency? by

bigCover of the book Redesigning Democracy by

bigCover of the book Toward New Democratic Imaginaries - İstanbul Seminars on Islam, Culture and Politics by

bigCover of the book Hemorrhagic Stroke by

bigCover of the book Quantum Entanglement of Complex Structures of Photons by

bigCover of the book Dense Image Correspondences for Computer Vision by

bigCover of the book The Initiation of DNA Replication in Eukaryotes by

bigCover of the book Advances in Spatial and Temporal Databases by

bigCover of the book Advances in Cross-Cultural Decision Making 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