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 The Role of State Agencies in Translational Criminology by

bigCover of the book Engineering Trustworthy Software Systems by

bigCover of the book Vector Variational Inequalities and Vector Optimization by

bigCover of the book Undergraduate Mathematics Competitions (1995–2016) by

bigCover of the book Studies of Photoinduced Molecular Dynamics Using a Fast Imaging Sensor by

bigCover of the book Ordinary and Fractional Approximation by Non-additive Integrals: Choquet, Shilkret and Sugeno Integral Approximators by

bigCover of the book Clinical Trials of Antidepressants by

bigCover of the book White Male Nostalgia in Contemporary North American Literature by

bigCover of the book Rigid Cohomology over Laurent Series Fields by

bigCover of the book Hybrid Systems Biology by

bigCover of the book New Ecoinformatics Tools in Environmental Science by

bigCover of the book Transfusion in the Intensive Care Unit by

bigCover of the book Biology and Pathology of Perineuronal Satellite Cells in Sensory Ganglia by

bigCover of the book The Lean Product Design and Development Journey 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