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 Social Dreaming, Associative Thinking and Intensities of Affect by

bigCover of the book Air Flow Management in Raised Floor Data Centers by

bigCover of the book Social Exclusion by

bigCover of the book Avian Brood Parasitism by

bigCover of the book Labor and Employment Relations in a Globalized World by

bigCover of the book Mathematical Models of Viscous Friction by

bigCover of the book Atlas of Pediatric Brain Tumors by

bigCover of the book Business Statistics for Competitive Advantage with Excel 2016 by

bigCover of the book Neurologic Disease by

bigCover of the book Artificial Intelligence by

bigCover of the book Rubber Based Bionanocomposites by

bigCover of the book University Initiatives in Climate Change Mitigation and Adaptation by

bigCover of the book Electricity-based Fuels by

bigCover of the book Sleep Disorders in Adolescents by

bigCover of the book Sediment Compaction and Applications in Petroleum Geoscience 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