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 Open Data for Education by

bigCover of the book Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals by

bigCover of the book Private Military and Security Companies and States by

bigCover of the book Reviews of Physiology, Biochemistry and Pharmacology, Vol. 165 by

bigCover of the book Cultural Territorial Systems by

bigCover of the book From Network Structure to Policy Design in Water Protection by

bigCover of the book Inertia and Gravitation by

bigCover of the book Invitations to Tender for Facility Management Services by

bigCover of the book A New Family of CMOS Cascode-Free Amplifiers with High Energy-Efficiency and Improved Gain by

bigCover of the book Towards 100% Renewable Energy by

bigCover of the book Poland in the Irish Nationalist Imagination, 1772–1922 by

bigCover of the book Complications of Cirrhosis by

bigCover of the book Applied Control of Electrical Drives by

bigCover of the book Dimensional Analysis and Self-Similarity Methods for Engineers and Scientists by

bigCover of the book Scalable Uncertainty Management 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