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 Macroeconomic Theory by

bigCover of the book New Developments in Science and Technology Education by

bigCover of the book Cognitive Informatics in Health and Biomedicine by

bigCover of the book Feng Shui: Teaching About Science and Pseudoscience by

bigCover of the book Machine Learning and Interpretation in Neuroimaging by

bigCover of the book Navigating Educational Change in China by

bigCover of the book Football Traumatology by

bigCover of the book Policy and Gay, Lesbian, Bisexual, Transgender and Intersex Students by

bigCover of the book Agent-Based Modelling of Social Networks in Labour–Education Market System by

bigCover of the book Concise Dictionary of Engineering by

bigCover of the book Designing Electronic Product Enclosures by

bigCover of the book Advances in Swarm Intelligence by

bigCover of the book Slow Viscous Flow by

bigCover of the book Advanced Undergraduate Quantum Mechanics 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