Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, 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 Smart Cities, Green Technologies, and Intelligent Transport Systems by

bigCover of the book Social Trauma and Telecinematic Memory by

bigCover of the book High Performance Computing by

bigCover of the book Reactive Oxygen Species and Oxidative Damage in Plants Under Stress by

bigCover of the book Decentralized Neural Control: Application to Robotics by

bigCover of the book Blind Image Deconvolution by

bigCover of the book Specific Intermolecular Interactions of Element-Organic Compounds by

bigCover of the book Neural Information Processing by

bigCover of the book Haptics: Perception, Devices, Control, and Applications by

bigCover of the book Connectivity in Motion by

bigCover of the book Media and Culture in the U.S. Jewish Labor Movement by

bigCover of the book Post-Crisis Banking Regulation in the European Union by

bigCover of the book Constant-Sign Solutions of Systems of Integral Equations 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