Automated Theorem Proving in Software Engineering

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Programming, Software Development, 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 Theorem Proving in Software Engineering

More books from Springer Berlin Heidelberg

bigCover of the book Prediction of Interannual Climate Variations by

bigCover of the book Einführung in die Heterogene Katalyse by

bigCover of the book Concurrent Programming: Algorithms, Principles, and Foundations by

bigCover of the book Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXV by

bigCover of the book The Physics of the Manhattan Project by

bigCover of the book Digital Teleretinal Screening by

bigCover of the book Fallübungen Care und Case Management by

bigCover of the book Pitfalls in Cervical Spine Surgery by

bigCover of the book Preoperative (Neoadjuvant) Chemotherapy by

bigCover of the book Bioaugmentation, Biostimulation and Biocontrol by

bigCover of the book Proceedings of the 2015 Chinese Intelligent Automation Conference by

bigCover of the book Analytische Informationssysteme by

bigCover of the book How Unified Is the European Union? by

bigCover of the book Innovation and Regional Growth in the European Union 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