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 Aspects of Neuroendocrinology by

bigCover of the book Artemisinin and Nitric Oxide by

bigCover of the book Electronic and Magnetic Properties of Chiral Molecules and Supramolecular Architectures by

bigCover of the book Virtual und Augmented Reality (VR / AR) by

bigCover of the book Bacteria in Agrobiology: Crop Ecosystems by

bigCover of the book Das Urinsediment by

bigCover of the book Führungsstile: Prominenten und Persönlichkeiten über die Schulter geschaut by

bigCover of the book Age Determination of Young Rocks and Artifacts by

bigCover of the book Hydropneumatic Suspension Systems by

bigCover of the book Energie- und ressourceneffiziente Produktion von Aluminiumdruckguss by

bigCover of the book Equilibrium Thermodynamics by

bigCover of the book Advanced Technology in Neurosurgery by

bigCover of the book Early Diagnosis of Cancer in General Practice 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