Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

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

More books from Springer International Publishing

bigCover of the book Trends in Cerebrovascular Surgery by

bigCover of the book Human-Computer Interaction – INTERACT 2017 by

bigCover of the book Proceedings of the 7th World Conference on Mass Customization, Personalization, and Co-Creation (MCPC 2014), Aalborg, Denmark, February 4th - 7th, 2014 by

bigCover of the book Employee Engagement in Media Management by

bigCover of the book A History of British Actuarial Thought by

bigCover of the book Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection by

bigCover of the book Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries by

bigCover of the book Positive Psychology Perspectives on Foreign Language Learning and Teaching by

bigCover of the book Robotic Manipulators and Vehicles by

bigCover of the book Nanotechnology for Energy and Water by

bigCover of the book A History of the Girl by

bigCover of the book Numerical Computations with GPUs by

bigCover of the book Dynamic Innovation in Outsourcing by

bigCover of the book J.W.R. Whitehand and the Historico-geographical Approach to Urban Morphology 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