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 Optimal Transport for Applied Mathematicians by

bigCover of the book Industrial Applications for Intelligent Polymers and Coatings by

bigCover of the book Cognitive Radio Oriented Wireless Networks by

bigCover of the book Machine Medical Ethics by

bigCover of the book Discovering the Cosmos with Small Spacecraft by

bigCover of the book Mechanical Properties of Silicon Based Compounds: Silicides by

bigCover of the book Search Based Software Engineering by

bigCover of the book Artificial Intelligence in Education by

bigCover of the book Trauma Responsive Child Welfare Systems by

bigCover of the book Geriatric Trauma and Critical Care by

bigCover of the book Entrepreneurship in Finance by

bigCover of the book Evolutionary Thinking in Medicine by

bigCover of the book Alternative Approaches in Conflict Resolution by

bigCover of the book Coordination, Organizations, Institutions, and Norms in Agent Systems IX by

bigCover of the book In Defense of Deflation 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