Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, 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 Evolution of Silicon Sensor Technology in Particle Physics by

bigCover of the book A Theoretical Study of Pd-Catalyzed C-C Cross-Coupling Reactions by

bigCover of the book Building the Impact Economy by

bigCover of the book Green Chemistry and Sustainability in Pulp and Paper Industry by

bigCover of the book Task Design In Mathematics Education by

bigCover of the book Foundations of Ophthalmology by

bigCover of the book Understanding Complex Urban Systems by

bigCover of the book Right Heart Pathology by

bigCover of the book Genetics and Genomics of Cucurbitaceae by

bigCover of the book International Performance Research Pedagogies by

bigCover of the book Analytical Techniques and Methods for Biomass by

bigCover of the book Composite, Hybrid, and Multifunctional Materials, Volume 4 by

bigCover of the book Reliability Design of Mechanical Systems by

bigCover of the book Engineering Safe and Secure Cyber-Physical Systems by

bigCover of the book Disciplining the Undisciplined? 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