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 Mathematical Morphology and Its Applications to Signal and Image Processing by

bigCover of the book Reinventing Work in Europe by

bigCover of the book The Rasputin Effect: When Commensals and Symbionts Become Parasitic by

bigCover of the book The Hunt for Earth Gravity by

bigCover of the book Humor in Infants by

bigCover of the book Black Scholarly Activism between the Academy and Grassroots by

bigCover of the book Simulation and Modeling Methodologies, Technologies and Applications by

bigCover of the book Metal Scrappers and Thieves by

bigCover of the book Nanophotocatalysis and Environmental Applications by

bigCover of the book Continuum Mechanics Through the Eighteenth and Nineteenth Centuries by

bigCover of the book Molecular Allergy Diagnostics by

bigCover of the book Wireless Power Transfer and Data Communication for Neural Implants by

bigCover of the book Reliable Software Technologies – Ada-Europe 2018 by

bigCover of the book Visual Guidance of Unmanned Aerial Manipulators by

bigCover of the book Numerical Computations with GPUs 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