Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, 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 Learning Technology for Education in Cloud by

bigCover of the book Guide to Cisco Routers Configuration by

bigCover of the book Vascular Disease in Older Adults by

bigCover of the book Fission Neutrons by

bigCover of the book Changing Global Perspectives on Horseshoe Crab Biology, Conservation and Management by

bigCover of the book New Data Structures and Algorithms for Logic Synthesis and Verification by

bigCover of the book Technological Change and Skill Development in Arab Gulf Countries by

bigCover of the book Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part III by

bigCover of the book Cultural Due Diligence in Hospitality Ventures by

bigCover of the book The Semantics and Pragmatics of Quotation by

bigCover of the book Small-Signal Stability Analysis of Power Systems Integrated with Variable Speed Wind Generators by

bigCover of the book Midwifery, Childbirth and the Media by

bigCover of the book Neural Information Processing by

bigCover of the book Engineering Mathematics I by

bigCover of the book Critical Findings in Neuroradiology 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