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 The Development of the Red Pulp in the Spleen by

bigCover of the book Acute Heart Failure by

bigCover of the book Multiple Sclerosis by

bigCover of the book The Liberalisation of the Telecommunications Sector in Sub-Saharan Africa and Fostering Competition in Telecommunications Services Markets by

bigCover of the book Cell Biology of the Axon by

bigCover of the book Klinische Psychologie und Psychotherapie für Bachelor by

bigCover of the book Wave Interactions As a Seismo-acoustic Source by

bigCover of the book Perspectives of System Informatics by

bigCover of the book Molecular Biomineralization by

bigCover of the book Data Intensive Computing for Biodiversity by

bigCover of the book Übungsaufgaben zur Mathematik für Ingenieure by

bigCover of the book Knowledge and the World: Challenges Beyond the Science Wars by

bigCover of the book Earthquake Resistant Buildings by

bigCover of the book Strategic Human Resource Development 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