Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

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 Computer Aided Verification

More books from Springer International Publishing

bigCover of the book Damages in EU Public Procurement Law by

bigCover of the book Functional Molecular Silicon Compounds II by

bigCover of the book Customized Laser Vision Correction by

bigCover of the book Heavy Neutral Particle Decays to Tau Pairs by

bigCover of the book Gender Issues in Business and Economics by

bigCover of the book The UN System and Cities in Global Governance by

bigCover of the book Sport and Physical Activity in the Heat by

bigCover of the book Intelligent Tools for Building a Scientific Information Platform: From Research to Implementation by

bigCover of the book Inverse Problems and Large-Scale Computations by

bigCover of the book The Form of Poetry in the 1820s and 1830s by

bigCover of the book Business Statistics for Competitive Advantage with Excel 2016 by

bigCover of the book Ethics Across the Curriculum—Pedagogical Perspectives by

bigCover of the book Proceedings of the Ninth International Conference on Soft Computing and Pattern Recognition (SoCPaR 2017) by

bigCover of the book Elispot for Rookies (and Experts Too) by

bigCover of the book Large-Scale Land Investments in Least Developed Countries 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