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 Commonsense Pluralism about Truth by

bigCover of the book Ferroic Functional Materials by

bigCover of the book An Easy Guide to Care for Sculpture and Antique Art Collections by

bigCover of the book Advances in Human Factors, Business Management and Society by

bigCover of the book Intelligent Systems Design and Applications by

bigCover of the book Design of Structural Elements with Tropical Hardwoods by

bigCover of the book International Handbook of Research in Statistics Education by

bigCover of the book Theory and Practice in the Bioarchaeology of Care by

bigCover of the book Space Operations: Contributions from the Global Community by

bigCover of the book Cloud Computing and Security by

bigCover of the book Superconducting Devices in Quantum Optics by

bigCover of the book Nature-Inspired Optimizers by

bigCover of the book Project Management and Engineering Research, 2014 by

bigCover of the book Biodiversity and Education for Sustainable 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