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 We Only Talk Feminist Here by

bigCover of the book Mapping Spatial Relations, Their Perceptions and Dynamics by

bigCover of the book An Experiential Approach to Psychopathology by

bigCover of the book Acute Care General Surgery by

bigCover of the book Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA by

bigCover of the book Per Oral Endoscopic Myotomy (POEM) by

bigCover of the book Mockumentary Comedy by

bigCover of the book Introduction to Measure Theory and Functional Analysis by

bigCover of the book Labour Migration in Europe Volume I by

bigCover of the book Partial Least Squares Structural Equation Modeling by

bigCover of the book Design Thinking Research by

bigCover of the book Search for New Physics in Mono-jet Final States in pp Collisions by

bigCover of the book Hollyweird Science 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