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 Plant-Plant Allelopathic Interactions II by

bigCover of the book Alexius Meinong, The Shepherd of Non-Being by

bigCover of the book Endocannabinoids and Lipid Mediators in Brain Functions by

bigCover of the book Virtual, Augmented and Mixed Reality by

bigCover of the book Semantic Keyword-based Search on Structured Data Sources by

bigCover of the book Declarative Programming and Knowledge Management by

bigCover of the book Economics and Finance in Mauritius by

bigCover of the book Guide to OSI and TCP/IP Models by

bigCover of the book Spatial Similarity Relations in Multi-scale Map Spaces by

bigCover of the book Non-Hodgkin Lymphoma by

bigCover of the book Plants and Health by

bigCover of the book Lines of Geography in Latin American Narrative by

bigCover of the book Grammatical Inference by

bigCover of the book Universal Access in Human–Computer Interaction. Design and Development Approaches and Methods by

bigCover of the book NGOs and Accountability in China 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