Verification, Model Checking, and Abstract Interpretation

18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Verification, Model Checking, and Abstract Interpretation

More books from Springer International Publishing

bigCover of the book TIM PEAKE and BRITAIN'S ROAD TO SPACE by

bigCover of the book Design and Analysis of Simulation Experiments by

bigCover of the book Biomedical Engineering Systems and Technologies by

bigCover of the book Distributed Computing and Artificial Intelligence, 15th International Conference by

bigCover of the book Cardiac Cytoarchitecture by

bigCover of the book Women Leaders in Chaotic Environments by

bigCover of the book Sequence Stratigraphy of the Lower Miocene Moghra Formation in the Qattara Depression, North Western Desert, Egypt by

bigCover of the book Mechanisms in Ancient Chinese Books with Illustrations by

bigCover of the book Theatricalising Narrative Research on Women Casual Academics by

bigCover of the book The ’Ndrangheta and Sacra Corona Unita by

bigCover of the book Quantitative Recombination and Transport Properties in Silicon from Dynamic Luminescence by

bigCover of the book Low Threshold Organic Semiconductor Lasers by

bigCover of the book Requirements Engineering: Foundation for Software Quality by

bigCover of the book Autophagy Networks in Inflammation 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