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 Emerging Technology and Architecture for Big-data Analytics by

bigCover of the book Simulation-Driven Design by Knowledge-Based Response Correction Techniques by

bigCover of the book War and Peace in Africa’s Great Lakes Region by

bigCover of the book Mind, Values, and Metaphysics by

bigCover of the book Applications of Intelligent Optimization in Biology and Medicine by

bigCover of the book Masculinity, Labour, and Neoliberalism by

bigCover of the book Demanding Justice in The Global South by

bigCover of the book Evidence-Based Implant Dentistry by

bigCover of the book The Case Against Consequentialism Reconsidered by

bigCover of the book Rape Trials in England and Wales by

bigCover of the book Genomic Designing of Climate-Smart Oilseed Crops by

bigCover of the book Geriatric Trauma and Acute Care Surgery by

bigCover of the book Political Social Work by

bigCover of the book Information Systems, Management, Organization and Control by

bigCover of the book Information Fusion for Cyber-Security Analytics 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