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 Cellular and Molecular Approaches to Regeneration and Repair by

bigCover of the book Storm Water Management by

bigCover of the book The Life, Science and Times of Lev Vasilevich Shubnikov by

bigCover of the book The Demons of Science by

bigCover of the book The Future Home is Wise, Not Smart by

bigCover of the book Synthesis and Characterisation of Non-Fullerene Electron Acceptors for Organic Photovoltaics by

bigCover of the book Formal Techniques for Safety-Critical Systems by

bigCover of the book Business Ethics Education and the Pragmatic Pursuit of the Good by

bigCover of the book The New Ottoman Greece in History and Fiction by

bigCover of the book Law, Politics and Violence in Israel/Palestine by

bigCover of the book Cellular Communications Systems in Congested Environments by

bigCover of the book Language, Vernacular Discourse and Nationalisms by

bigCover of the book Outskirts of Galaxies by

bigCover of the book Landscapes and Landforms of Hungary 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