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 Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII by

bigCover of the book New Concepts in Pathology and Treatment of Autoimmune Disorders by

bigCover of the book Error Correction in the Foreign Language Classroom by

bigCover of the book Was treibt uns an? by

bigCover of the book Enterprise and Organizational Modeling and Simulation by

bigCover of the book My Cognitive autoMOBILE Life by

bigCover of the book Diabetes und Schwangerschaft by

bigCover of the book IT-Governance in der Praxis by

bigCover of the book Handbook of Polymer Nanocomposites. Processing, Performance and Application by

bigCover of the book Bearing Tribology by

bigCover of the book Internetwirtschaft by

bigCover of the book Pathologies of Calcium Channels by

bigCover of the book Borderline - Die andere Art zu fühlen by

bigCover of the book The Pulsations of the Sun and the Stars 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