Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

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 Automated Technology for Verification and Analysis

More books from Springer International Publishing

bigCover of the book Spectral Mapping Theorems by

bigCover of the book Mathematics as a Tool by

bigCover of the book Regional Growth and Sustainable Development in Asia by

bigCover of the book Control of Multiple Robots Using Vision Sensors by

bigCover of the book Risk Management of Non-Renewable Energy Systems by

bigCover of the book Working Creatively with Stories and Learning Experiences by

bigCover of the book Creative Contradictions in Education by

bigCover of the book Water and Land Security in Drylands by

bigCover of the book Proceedings of the 13th International Scientific Conference by

bigCover of the book Impact of Climate Changes on Marine Environments by

bigCover of the book Emerging Challenges in Business, Optimization, Technology, and Industry by

bigCover of the book Mesenchymal Stem Cells and Immunomodulation by

bigCover of the book Fostering a Climate of Inclusion in the College Classroom by

bigCover of the book Integral Methods in Science and Engineering, Volume 1 by

bigCover of the book The Culture Industry and Participatory Audiences 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