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 Planetary Geology by

bigCover of the book Himalayan Quality of Life by

bigCover of the book Automation Control Theory Perspectives in Intelligent Systems by

bigCover of the book 3D Stacked Chips by

bigCover of the book Genetic Diversity and Erosion in Plants by

bigCover of the book Label-free and Multi-parametric Monitoring of Cell-based Assays with Substrate-embedded Sensors by

bigCover of the book Tutorials in Endovascular Neurosurgery and Interventional Neuroradiology by

bigCover of the book Insecurity, Precarious Work and Labour Markets by

bigCover of the book Non-Relativistic QED Theory of the van der Waals Dispersion Interaction by

bigCover of the book Climate Change and Human Health Scenario in South and Southeast Asia by

bigCover of the book Contact Mechanics of Articular Cartilage Layers by

bigCover of the book Infectious Complications in Cancer Patients by

bigCover of the book Product Lifecycle Management (Volume 2) by

bigCover of the book Membrane Computing 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