Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

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 Measuring and Analysing the Use of Ontologies by

bigCover of the book Irrepressible Truth by

bigCover of the book Coarse Geometry and Randomness by

bigCover of the book CT Colonography for Radiographers by

bigCover of the book Open Data Politics by

bigCover of the book Nonlinear Dynamics, Volume 2 by

bigCover of the book Peripheral Interaction by

bigCover of the book Surgical Emergencies in the Cancer Patient by

bigCover of the book Gastrointestinal Bleeding by

bigCover of the book Hayek: A Collaborative Biography by

bigCover of the book Recent Advances in Multi-state Systems Reliability by

bigCover of the book Rigid Cohomology over Laurent Series Fields by

bigCover of the book The Maritime Turn in EU Foreign and Security Policies by

bigCover of the book Migration, Risk Management and Climate Change: Evidence and Policy Responses by

bigCover of the book The New Normal of Working Lives 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