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 Vulnerability and Long-term Care in Europe by

bigCover of the book Defining the Limits of Outer Space for Regulatory Purposes by

bigCover of the book Principles of Bone and Joint Research by

bigCover of the book Advances in Artificial Intelligence by

bigCover of the book Machine Learning and Data Mining in Pattern Recognition by

bigCover of the book Creating Marketing Magic and Innovative Future Marketing Trends by

bigCover of the book Time Perspective Theory; Review, Research and Application by

bigCover of the book Imaging and Diagnosis in Pediatric Brain Tumor Studies by

bigCover of the book Handbook on Project Management and Scheduling Vol. 2 by

bigCover of the book High Performance Computing in Science and Engineering ' 17 by

bigCover of the book Fundamentals of Robotic Mechanical Systems by

bigCover of the book Topics in Modal Analysis, Volume 10 by

bigCover of the book Karst Aquifers - Characterization and Engineering by

bigCover of the book Utilization Management in the Clinical Laboratory and Other Ancillary Services 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