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 Management of Speech and Video Telephony Quality in Heterogeneous Wireless Networks by

bigCover of the book Introduction to Logic Circuits & Logic Design with VHDL by

bigCover of the book Aiming Big with Small Cars by

bigCover of the book The University According to Humboldt by

bigCover of the book Sparsity-Based Multipath Exploitation for Through-the-Wall Radar Imaging by

bigCover of the book Soil Biological Communities and Ecosystem Resilience by

bigCover of the book Mathematical Modelling for Teachers by

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

bigCover of the book Dimensional Analysis for Engineers by

bigCover of the book Engineering Geology for Society and Territory - Volume 2 by

bigCover of the book International Perspectives on Teaching the Four Skills in ELT by

bigCover of the book Remote Sensing of Clouds and Precipitation by

bigCover of the book 1D Oxide Nanostructures Obtained by Sol-Gel and Hydrothermal Methods by

bigCover of the book Combinatorial Optimization and Applications by

bigCover of the book William Morris’s Utopianism 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