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 Complex Analysis and Dynamical Systems by

bigCover of the book Supervised Descriptive Pattern Mining by

bigCover of the book Proceeding of the 1st International Conference on Tropical Agriculture by

bigCover of the book Multiple Representations in Physics Education by

bigCover of the book Natural Disasters, Foreign Trade and Agriculture in Mexico by

bigCover of the book Biologically Inspired Control of Humanoid Robot Arms by

bigCover of the book Computations and Computing Devices in Mathematics Education Before the Advent of Electronic Calculators by

bigCover of the book Data Envelopment Analysis in the Financial Services Industry by

bigCover of the book Conflict Resolution and its Context by

bigCover of the book Engineering and Technology Talent for Innovation and Knowledge-Based Economies by

bigCover of the book Feminist Ecologies by

bigCover of the book Corporate Social Responsibility and Discrimination by

bigCover of the book Magnetic Order and Coupling Phenomena by

bigCover of the book Remote Sensing and Modeling by

bigCover of the book Gay Indians in Brazil 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