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 Arabic Science Fiction by

bigCover of the book Wood Pellet as a Renewable Source of Energy by

bigCover of the book Challenges in Modelling and Simulation of Shale Gas Reservoirs by

bigCover of the book Educational Psychology Practice by

bigCover of the book Privacy and Identity Management for the Future Internet in the Age of Globalisation by

bigCover of the book Complex Magnetic Nanostructures by

bigCover of the book Structural Stability and Vibration by

bigCover of the book Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics by

bigCover of the book Screening Asylum in a Culture of Disbelief by

bigCover of the book Adaptations of Coastal Cities to Global Warming, Sea Level Rise, Climate Change and Endemic Hazards by

bigCover of the book Renewable Synthetic Fuels and Chemicals from Carbon Dioxide by

bigCover of the book Advances in Artificial Life, Evolutionary Computation and Systems Chemistry by

bigCover of the book American Shale Energy and the Global Economy by

bigCover of the book Algae-Based Biopharmaceuticals 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