Critical Systems: Formal Methods and Automated Verification

Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, 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 Bioactive Glasses by

bigCover of the book Berichte zu Pflanzenschutzmitteln 2014 by

bigCover of the book Charnley Low-Frictional Torque Arthroplasty of the Hip by

bigCover of the book Rome and Irish Catholicism in the Atlantic World, 1622–1908 by

bigCover of the book Heritage in Action by

bigCover of the book Natural Gas Hydrate - Arctic Ocean Deepwater Resource Potential by

bigCover of the book Egalitarianism in Scandinavia by

bigCover of the book Inside Company Valuation by

bigCover of the book An Introduction to Structural Mechanics for Architects by

bigCover of the book Analysis and Partial Differential Equations: Perspectives from Developing Countries by

bigCover of the book Advances in Computational Intelligence by

bigCover of the book Speech and Computer by

bigCover of the book Electronic Word of Mouth (eWOM) in the Marketing Context by

bigCover of the book Contrastiveness in Information Structure, Alternatives and Scalar Implicatures 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