Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Nonfiction, Computers, Programming, Programming Languages, 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 Quantitative Methods in Environmental and Climate Research by

bigCover of the book The Sulphur Cap in Maritime Supply Chains by

bigCover of the book PDE Models for Multi-Agent Phenomena by

bigCover of the book Advances in Neural Networks - ISNN 2017 by

bigCover of the book Gender, Sex Hormones and Respiratory Disease by

bigCover of the book Enhancing Synergies in a Collaborative Environment by

bigCover of the book Policy Innovations for Affordable Housing In Singapore by

bigCover of the book Police Brutality, Misconduct, and Corruption by

bigCover of the book Conveyor Belt Furnace Thermal Processing by

bigCover of the book Scenario Analysis in Risk Management by

bigCover of the book REACH Beyond Borders by

bigCover of the book Advanced Photon Counting by

bigCover of the book Application and Theory of Petri Nets and Concurrency 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