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 Youth and Unconventional Political Engagement by

bigCover of the book Climate Change Research at Universities by

bigCover of the book Janus-Faced Probability by

bigCover of the book Atlas of Head and Neck Robotic Surgery by

bigCover of the book Mathematical Analysis, Approximation Theory and Their Applications by

bigCover of the book Remote Observatories for Amateur Astronomers by

bigCover of the book Anti-diabetes and Anti-obesity Medicinal Plants and Phytochemicals by

bigCover of the book Climate Resilient Water Resources Management by

bigCover of the book Applied Artificial Intelligence: Where AI Can Be Used In Business by

bigCover of the book Management and Therapy of Early Pregnancy Complications by

bigCover of the book Non-seismic and Non-conventional Exploration Methods for Oil and Gas in Cuba by

bigCover of the book Primary Well-Being: Case Studies for the Growing Child by

bigCover of the book Internet-Based Customer Value Management by

bigCover of the book 2nd International Congress on Energy Efficiency and Energy Related Materials (ENEFM2014) by

bigCover of the book Landscapes of Eternal Return 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