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 IEEE 802.15.4 and ZigBee as Enabling Technologies for Low-Power Wireless Systems with Quality-of-Service Constraints by

bigCover of the book Quantum Dots for DNA Biosensing by

bigCover of the book Angewandte Virtuelle Techniken im Produktentstehungsprozess by

bigCover of the book Shock Wave Compression of Condensed Matter by

$bigCover of the book Aberration-Free Refractive Surgery by$

bigCover of the book Atlas of Human Limb Joints by

bigCover of the book Laser Cancer Research by

bigCover of the book Fuzzy Knowledge Management for the Semantic Web by

bigCover of the book Major Sex-Determining Genes by

bigCover of the book Co-occurring Addictive and Psychiatric Disorders by

bigCover of the book The Economics of Natural Gas Storage by

bigCover of the book Trauer verstehen by

bigCover of the book Silicon Polymers 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