Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, 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 The Economics and Policy of Solar Photovoltaic Generation by

bigCover of the book Construction Dispute Research by

bigCover of the book Learning and Intelligent Optimization by

bigCover of the book Materials and Processes by

bigCover of the book International Scientific Conference Energy Management of Municipal Facilities and Sustainable Energy Technologies EMMFT 2018 by

bigCover of the book Republican Orators from Eisenhower to Trump by

bigCover of the book Function Spaces with Uniform, Fine and Graph Topologies by

bigCover of the book Ambient Intelligence– Software and Applications – 8th International Symposium on Ambient Intelligence (ISAmI 2017) by

bigCover of the book Carbon Dioxide Capture: An Effective Way to Combat Global Warming by

bigCover of the book Adaptive Dynamic Programming with Applications in Optimal Control by

bigCover of the book Comprehensive Healthcare Simulation: Pediatrics by

bigCover of the book Recent Advances in Geotechnical Research 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