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 Rethinking Fisheries Governance by

bigCover of the book Multiobjective Linear and Integer Programming by

bigCover of the book Decentralized Water Reclamation Engineering by

bigCover of the book 9th International Symposium on High-Temperature Metallurgical Processing by

bigCover of the book The Effects of Europeanization on the Integration Process in the Upper Adriatic Region by

bigCover of the book Privacy and Identity Management for the Future Internet in the Age of Globalisation by

bigCover of the book Multiscale Models in Mechano and Tumor Biology by

bigCover of the book Interdisciplinary Place-Based Learning in Urban Education by

bigCover of the book The Higgs Boson Discovery at the Large Hadron Collider by

bigCover of the book Decision Economics: In the Tradition of Herbert A. Simon's Heritage by

bigCover of the book Local Anaesthesia in Dentistry by

bigCover of the book Heat Shock Protein-Based Therapies by

bigCover of the book The GlobalArctic Handbook 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