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 Imperial Ladies of the Ottonian Dynasty by

bigCover of the book The Decision to Delist from the Stock Market by

bigCover of the book Modelling Behaviour by

bigCover of the book Sustainable Agriculture Reviews 31 by

bigCover of the book Structured Object-Oriented Formal Language and Method by

bigCover of the book Strategies for Symbiotic Urban Neighbourhoods by

bigCover of the book The Perceptual Structure of Three-Dimensional Art by

bigCover of the book EurAsian Matters by

bigCover of the book Advances in Swarm Intelligence by

bigCover of the book Fundamentals of Protein Structure and Function by

bigCover of the book Money - The New Rules of the Game by

bigCover of the book Advances in Soft Computing by

bigCover of the book Extracellular Matrix in Tumor Biology by

bigCover of the book Machine Learning and Data Mining in Pattern Recognition 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