Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Nonfiction, Computers, Programming, Software Development, 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 Interactive Collaborative Robotics by

bigCover of the book Representing the Eighteenth Century in Film and Television, 2000–2015 by

bigCover of the book Elements of Manufacturing, Distribution and Logistics by

bigCover of the book Advances in Plant Dormancy by

bigCover of the book Educational Contexts and Borders through a Cultural Lens by

bigCover of the book Dynamic Behavior of Materials, Volume 1 by

bigCover of the book Design, User Experience, and Usability: Designing Interactions by

bigCover of the book Moral Certainty and the Foundations of Morality by

bigCover of the book Baroque, Venice, Theatre, Philosophy by

bigCover of the book The Origins of Democracy in Tribes, City-States and Nation-States by

bigCover of the book Language and Automata Theory and Applications by

bigCover of the book Implementing the Cape Town Convention and the Domestic Laws on Secured Transactions by

bigCover of the book Advanced Information Networking and Applications 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