Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Nonfiction, Computers, Programming, 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 Myxozoan Evolution, Ecology and Development by

bigCover of the book The Notion of Activity in Chemistry by

bigCover of the book Abstract State Machines, Alloy, B, TLA, VDM, and Z by

bigCover of the book Physical Layer Security in Wireless Cooperative Networks by

bigCover of the book The United Nations and the Politics of Selective Humanitarian Intervention by

bigCover of the book Final Basel III Modelling by

bigCover of the book Internet of Things. User-Centric IoT by

bigCover of the book Experiences from Surface Water Quality Monitoring by

bigCover of the book Precarious Labour and the Contemporary Novel by

bigCover of the book Counter-Terrorism from the Obama Administration to President Trump by

bigCover of the book Free Fatty Acid Receptors by

bigCover of the book Victim Healing and Truth Commissions by

bigCover of the book Models of Mentoring in Language Teacher Education by

bigCover of the book Top Down Innovation 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