Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, 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 Divergence and Convergence of Automobile Fuel Economy Regulations by

bigCover of the book Symbol Correspondences for Spin Systems by

bigCover of the book Inner Solar System by

bigCover of the book Nonlinear Hamiltonian Mechanics Applied to Molecular Dynamics by

bigCover of the book Descriptional Complexity of Formal Systems by

bigCover of the book Universal Access in Human-Computer Interaction. Access to the Human Environment and Culture by

bigCover of the book Umberto Eco, The Da Vinci Code, and the Intellectual in the Age of Popular Culture by

bigCover of the book Assistive Technologies for the Interaction of the Elderly by

bigCover of the book Sustainable Agriculture Reviews 30 by

bigCover of the book Advances in Computational Intelligence by

bigCover of the book Boundary and Interior Layers, Computational and Asymptotic Methods BAIL 2016 by

bigCover of the book Formal Methods for Discrete-Time Dynamical Systems by

bigCover of the book Quantum Many-Body Physics of Ultracold Molecules in Optical Lattices by

bigCover of the book TRIZ. Theory of Inventive Problem Solving by

bigCover of the book Gender, Otherness, and Culture in Medieval and Early Modern Art 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