Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, 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 Contemporary Influences on International Business in Latin America by

bigCover of the book Mathematical Problems in Meteorological Modelling by

bigCover of the book Project Management for Facility Constructions by

bigCover of the book Science and Technology from Global and Historical Perspectives by

bigCover of the book Copper-Catalyzed Electrophilic Amination of sp2 and sp3 C−H Bonds by

bigCover of the book Recent Trends in Social Systems: Quantitative Theories and Quantitative Models by

bigCover of the book Personal Care Products in the Aquatic Environment by

bigCover of the book Digital Storytelling in Higher Education by

bigCover of the book Creating a Value Proposition for Geriatric Care by

bigCover of the book Advances in Microbiology, Infectious Diseases and Public Health by

bigCover of the book Nanomaterials in Extreme Environments by

bigCover of the book Image and Signal Processing by

bigCover of the book Game Theory for Security and Risk Management by

bigCover of the book Clinical Handbook of Neuromuscular Medicine by

bigCover of the book Inflammasomes: Clinical and Therapeutic Implications 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