Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, 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 Research in Attacks, Intrusions, and Defenses by

bigCover of the book Recent Developments in Intelligent Systems and Interactive Applications by

bigCover of the book Hierarchical Macromolecular Structures: 60 Years after the Staudinger Nobel Prize II by

bigCover of the book Emergence and Expansion of Preclassical Mechanics by

bigCover of the book Data-Driven Process Discovery and Analysis by

bigCover of the book Immunotherapy for Gastrointestinal Cancer by

bigCover of the book Business Information Systems Workshops by

bigCover of the book Victorian Detectives in Contemporary Culture by

bigCover of the book Postcolonial Reconstruction: A Sociological Reading of Octavio Paz by

bigCover of the book Monetary Integration in Europe by

bigCover of the book Video Analytics for Audience Measurement by

bigCover of the book Frontiers in Gynecological Endocrinology by

bigCover of the book Landscapes of the First World War by

bigCover of the book Introduction to Turbulent Dynamical Systems in Complex Systems 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