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 Membrane Potential Imaging in the Nervous System and Heart by

bigCover of the book Comprehensive Geriatric Assessment by

bigCover of the book The Hyperuniverse Project and Maximality by

bigCover of the book Maths Meets Myths: Quantitative Approaches to Ancient Narratives by

bigCover of the book Design, Modeling and Control of Nanopositioning Systems by

bigCover of the book Bioinformatics and Biomedical Engineering by

bigCover of the book The Water, Energy, and Food Security Nexus in the Arab Region by

bigCover of the book Sustainability Improvements in the Concrete Industry by

bigCover of the book Next Generation Sequencing Based Clinical Molecular Diagnosis of Human Genetic Disorders by

bigCover of the book 2nd International Congress on Energy Efficiency and Energy Related Materials (ENEFM2014) by

bigCover of the book Britain, Europe and Civil Nuclear Energy, 1945–62 by

bigCover of the book Wind Energy Exploitation in Urban Environment 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