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 Engineering Heat Transfer by

bigCover of the book Pahl/Beitz Konstruktionslehre by

bigCover of the book Datenanalyse für Naturwissenschaftler und Ingenieure by

bigCover of the book Inference for Diffusion Processes by

bigCover of the book Methodological Cognitivism by

bigCover of the book Corporate Governance, Capital Markets, and Capital Budgeting by

bigCover of the book Formales SQL-Tuning für Oracle-Datenbanken by

bigCover of the book Anwendungsbezogenes Projektmanagement by

bigCover of the book CMR and MDCT in Cardiac Masses by

bigCover of the book K-Taping bei Kindern by

bigCover of the book Synthesis of Heterocycles via Multicomponent Reactions II by

bigCover of the book Projektmanagement am Rande des Chaos by

bigCover of the book Pflege mini Arzneimittel 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