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 The UK’s Relationship with Europe by

bigCover of the book Combinatorial Algorithms by

bigCover of the book Mimetic Learning at Work by

bigCover of the book The Hunt for Alien Life by

bigCover of the book Intelligent Robotics and Applications by

bigCover of the book Ultimate Performance Analysis Tool (uPATO) by

bigCover of the book Database Systems for Advanced Applications by

bigCover of the book Internet Addiction by

bigCover of the book Singular Perturbations by

bigCover of the book Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection by

bigCover of the book Theory and Practice of Model Transformation by

bigCover of the book Contacts and Contrasts in Cultures and Languages by

bigCover of the book Rape Culture, Gender Violence, and Religion by

bigCover of the book Sedimentation in the Rupnarayan River by

bigCover of the book Indigenous Peoples’ Governance of Land and Protected Territories in the Arctic 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