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 Graphical Models for Security by

bigCover of the book Functions and Generality of Logic by

bigCover of the book Computer Vision – ACCV 2016 by

bigCover of the book Dynamics of Cyclic Machines by

bigCover of the book Remote Sensing Advances for Earth System Science by

bigCover of the book The Argumentative Turn in Policy Analysis by

bigCover of the book Gravitational Atlas of Antarctica by

bigCover of the book Aquifer Characterization Techniques by

bigCover of the book Computational History and Data-Driven Humanities by

bigCover of the book Tissue Engineering for the Heart by

bigCover of the book Noise and Vibration Mitigation for Rail Transportation Systems by

bigCover of the book Physical-Layer Security for Cooperative Relay Networks by

bigCover of the book Research and Advanced Technology for Digital Libraries 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