Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

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 Learning and Collaboration Technologies. Learning and Teaching by

bigCover of the book Polish Migrants in European Film 1918–2017 by

bigCover of the book Disaster Risk Reduction and the Global System by

bigCover of the book Physics of Turbulent Jet Ignition by

bigCover of the book Research on Risk Evaluation Methods of Groundwater Bursting from Aquifers Underlying Coal Seams and Applications to Coalfields of North China by

bigCover of the book Autonomous Agents and Multiagent Systems by

bigCover of the book Broken Pumps and Promises by

bigCover of the book The Cardiovascular Adrenergic System by

bigCover of the book Membrane Protein – Lipid Interactions: Physics and Chemistry in the Bilayer by

bigCover of the book Targeting the Broadly Pathogenic Kynurenine Pathway by

bigCover of the book Introduction to Polyphasic Dispersed Systems Theory by

bigCover of the book Software Technologies by

bigCover of the book Health Literacy and Child Health Outcomes by

bigCover of the book Cultural Contestation by

bigCover of the book Resistance and Change in World Politics 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