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 High Precision Optical Spectroscopy and Quantum State Selected Photodissociation of Ultracold 88Sr2 Molecules in an Optical Lattice by

bigCover of the book Antimicrobial Drug Resistance by

bigCover of the book Design of Shape Memory Alloy (SMA) Actuators by

bigCover of the book Football, Gambling, and Money Laundering by

bigCover of the book EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation VI by

bigCover of the book New Trends in E-service and Smart Computing by

bigCover of the book Evolutionary Computation Techniques: A Comparative Perspective by

bigCover of the book Ethics is a Daily Deal by

bigCover of the book The Urban Political by

bigCover of the book Asylum, Work, and Precarity by

bigCover of the book Work and Family Interface in the International Career Context by

bigCover of the book Regional Upgrading in Southern Europe by

bigCover of the book Computational Biomechanics for Medicine by

bigCover of the book Topological Microfluidics 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