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 Solution Business by

bigCover of the book Xenosophia and Religion. Biographical and Statistical Paths for a Culture of Welcome by

bigCover of the book Ethics and Politics of the Built Environment by

bigCover of the book Landslide Dynamics: ISDR-ICL Landslide Interactive Teaching Tools by

bigCover of the book PCM-Enhanced Building Components by

bigCover of the book Integration, Interconnection, and Interoperability of IoT Systems by

bigCover of the book System Engineering Applied to Fuenmayor Karst Aquifer (San Julián de Banzo, Huesca) and Collins Glacier (King George Island, Antarctica) by

bigCover of the book The Youth Experience Gap by

bigCover of the book Emerging Challenges for Experimental Mechanics in Energy and Environmental Applications, Proceedings of the 5th International Symposium on Experimental Mechanics and 9th Symposium on Optics in Industry (ISEM-SOI), 2015 by

bigCover of the book Intelligent Interactive Multimedia Systems and Services 2016 by

bigCover of the book High Performance Computing in Science and Engineering ‘14 by

bigCover of the book Attachment Transmission in Wireless Networks by

bigCover of the book Optimization and Optimal Control in Automotive Systems by

bigCover of the book Intestinal Polyposis Syndromes by

bigCover of the book Reviews of Physiology, Biochemistry and Pharmacology 166 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