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 Nanoscience and Plant–Soil Systems by

bigCover of the book Adaptive and Intelligent Control of Microbial Fuel Cells by

bigCover of the book Economic Policies since the Global Financial Crisis by

bigCover of the book Inclusive Human Machine Interaction for India by

bigCover of the book A History of Folding in Mathematics by

bigCover of the book Evolving OpenMP for Evolving Architectures by

bigCover of the book Neuropsychiatry Case Studies by

bigCover of the book Ontology Modeling in Physical Asset Integrity Management by

bigCover of the book Toward Sustainable Relations Between Agriculture and the City by

bigCover of the book Origin and Evolution of the Cape Mountains and Karoo Basin by

bigCover of the book Meaning and Controversy within Chinese Ancestor Religion by

bigCover of the book Professional Learning in the Work Place for International Students by

bigCover of the book Improving Anti-Money Laundering Compliance by

bigCover of the book Advances in Usability and User Experience by

bigCover of the book Flexible and Stretchable Electronic Composites 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