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 Crossroads in Literature and Culture by

bigCover of the book Pflege im Wandel gestalten – Eine Führungsaufgabe by

bigCover of the book Wild Crop Relatives: Genomic and Breeding Resources by

bigCover of the book Facebook, Twitter und Co. in Hotellerie und Gastronomie by

bigCover of the book A Guide to the Classification Theorem for Compact Surfaces by

bigCover of the book Atlas of Scar Treatment and Correction by

bigCover of the book Data Mining for Service by

bigCover of the book Higher Oxidation State Organopalladium and Platinum Chemistry by

bigCover of the book Cold Rolling Precision Forming of Shaft Parts by

bigCover of the book Flow and Transport in the Natural Environment: Advances and Applications by

bigCover of the book An Historical Sketch of Chinese Historiography by

bigCover of the book Thyroid Pathology by

bigCover of the book Mediastinal Tumors by

bigCover of the book Theoretical Geomorphology 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