When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Automated Theorem Proving in Software Engineering. Title : Automated Theorem Proving in Software Engineering. Authors : Schumann, Johann M. We aim to provide a vast range of textbooks, rare and collectible books at a great price.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.