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 The Linear Model and Hypothesis by

bigCover of the book Selected Areas in Cryptography - SAC 2015 by

bigCover of the book Topological Data Analysis for Scientific Visualization by

bigCover of the book Automated Firewall Analytics by

bigCover of the book Principles of Adult Surgical Critical Care by

bigCover of the book Clinical Informatics Board Review and Self Assessment by

bigCover of the book Excel 2016 for Biological and Life Sciences Statistics by

bigCover of the book It From Bit or Bit From It? by

bigCover of the book Dynamics On and Of Complex Networks III by

bigCover of the book Transactions on Computational Collective Intelligence XX by

bigCover of the book Frontiers and Progress in Multiphase Flow I by

bigCover of the book Green Nanotechnology for Biofuel Production by

bigCover of the book Machine Learning Techniques for Gait Biometric Recognition by

bigCover of the book Non-Linear Time Series 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