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 Leadership without Ego by

bigCover of the book Partial Differential Equations by

bigCover of the book Molecular Response Functions for the Polarizable Continuum Model by

bigCover of the book Voltage-gated Sodium Channels: Structure, Function and Channelopathies by

bigCover of the book Taming the Wild Grape by

bigCover of the book Pedestrian and Evacuation Dynamics 2012 by

bigCover of the book Atlas of Upper Extremity Trauma by

bigCover of the book Computer Vision – ECCV 2018 by

bigCover of the book Practitioner’s Guide to Functional Behavioral Assessment by

bigCover of the book Stages of Corporate Social Responsibility by

bigCover of the book Sensitivity Analysis by

bigCover of the book Reconsidering Peace and Patriotism during the First World War by

bigCover of the book Soil Erosion and Sediment Flux in Northern Jordan by

bigCover of the book Wisdom Web of Things 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