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 Human Aspects of IT for the Aged Population. Applications in Health, Assistance, and Entertainment by

bigCover of the book Geometrically Unfitted Finite Element Methods and Applications by

bigCover of the book Familial Foundations of the Welfare State by

bigCover of the book The Twenty-First Century Commercial Space Imperative by

bigCover of the book Coastal Geography in Northeast Brazil by

bigCover of the book Measures of Symmetry for Convex Sets and Stability by

bigCover of the book Ophthalmology in Extreme Environments by

bigCover of the book Police Chiefs in the UK by

bigCover of the book Developing Language and Literacy in English across the Secondary School Curriculum by

bigCover of the book Transport Systems of Russian Cities by

bigCover of the book Project Management for Facility Constructions by

bigCover of the book The Chickpea Genome by

bigCover of the book Gun Violence Prevention? by

bigCover of the book Environmental Archaeology by

bigCover of the book Free Speech and False Speech 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