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 Multiple Sclerosis, Mad Cow Disease and Acinetobacter by

bigCover of the book Sustained Simulation Performance 2015 by

bigCover of the book Global Public Procurement Theories and Practices by

bigCover of the book Computer Simulations of Space Societies by

bigCover of the book The Neurobiology and Genetics of Nicotine and Tobacco by

bigCover of the book KI 2016: Advances in Artificial Intelligence by

bigCover of the book Principles of Modeling by

bigCover of the book Grapevine Yellows Diseases and Their Phytoplasma Agents by

bigCover of the book The Souss‐Massa River Basin, Morocco by

bigCover of the book Environment Exposure to Pollutants by

bigCover of the book Handbook of Lifelong Learning for Sustainable Development by

bigCover of the book Lung Cancer and Personalized Medicine: Novel Therapies and Clinical 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