Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, 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 Fuzzy Logic and Information Fusion by

bigCover of the book Service-Oriented Computing – ICSOC 2018 Workshops by

bigCover of the book Go4Hybrid: Grey Area Mitigation for Hybrid RANS-LES Methods by

bigCover of the book Algorithmic Learning Theory by

bigCover of the book Artificial Neural Networks and Machine Learning – ICANN 2016 by

bigCover of the book Social Media and Emerging Economies by

bigCover of the book Global Innovation and Entrepreneurship by

bigCover of the book Cognitive Internet of Things: Frameworks, Tools and Applications by

bigCover of the book Debates About Neuroethics by

bigCover of the book An Introduction To Viscosity Solutions for Fully Nonlinear PDE with Applications to Calculus of Variations in L∞ by

bigCover of the book Humanitarian Intervention and the AU-ECOWAS Intervention Treaties Under International Law by

bigCover of the book Ideology, Regionalism, and Society in Caribbean History by

bigCover of the book Is Globalisation Doomed? by

bigCover of the book A Transnational Analysis of Representations of the US Filibusters in Nicaragua, 1855-1857 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