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 Biopatent Law: European vs. US Patent Law by

bigCover of the book Psychologie der Freiwilligenarbeit by

bigCover of the book MRI of Rectal Cancer by

bigCover of the book Microbicides for Prevention of HIV Infection by

bigCover of the book Advances in Political Economy by

bigCover of the book Quantitative Thin-Layer Chromatography by

bigCover of the book How Do Spores Select Where to Settle? by

bigCover of the book High Power Laser-Matter Interaction by

bigCover of the book Der Praxisanleiter im Rettungsdienst by

bigCover of the book Seismic Events in Glaciers by

bigCover of the book Sicherheitsbewertung von Composite-Druckgasbehältern by

bigCover of the book Cardiovascular Risk in Type 2 Diabetes Mellitus by

bigCover of the book The Interaction Between Flexible Plates and Fluid in Two-dimensional Flow by

bigCover of the book Perspectives of System Informatics 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