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 Physics of Turbulent Jet Ignition by

bigCover of the book Social Computing and Social Media. Technologies and Analytics by

bigCover of the book Source Separation and Recycling by

bigCover of the book Challenging Cases and Complication Management in Pain Medicine by

bigCover of the book Reliability Physics and Engineering by

bigCover of the book Functional Mapping of the Cerebral Cortex by

bigCover of the book Cloud Networking for Big Data by

bigCover of the book Designing Learning for Tablet Classrooms by

bigCover of the book The New Industrial Policy of the European Union by

bigCover of the book Technologies and Innovation by

bigCover of the book Relational Autonomy and Family Law by

bigCover of the book Building Resilience for Uncertain Water Futures by

bigCover of the book Quadrophenia and Mod(ern) Culture by

bigCover of the book Shipping Operations Management by

bigCover of the book Understanding Ethics and Responsibilities in a Globalizing World 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