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 Recent Advances in Celestial and Space Mechanics by

bigCover of the book Modeling and Monitoring of Pipelines and Networks by

bigCover of the book Radiation Therapy for Liver Tumors by

bigCover of the book Taming Childhood? by

bigCover of the book Numerical Methods for Reliability and Safety Assessment by

bigCover of the book Vacuum Drying for Extending Food Shelf-Life by

bigCover of the book Analytical Techniques and Methods for Biomass by

bigCover of the book Patriarchal Theory Reconsidered by

bigCover of the book Nanoscale Materials and Devices for Electronics, Photonics and Solar Energy by

bigCover of the book Information Systems: Research, Development, Applications, Education by

bigCover of the book Macraes Orogenic Gold Deposit (New Zealand) by

bigCover of the book Protocol Design and Analysis for Cooperative Wireless Networks by

bigCover of the book Trauma and Lived Religion by

bigCover of the book Harmonic and Complex Analysis in Several Variables by

bigCover of the book MultiMedia Modeling 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