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.
Logic in Computer Science : Modelling and Reasoning About Systems, Paperback by Huth, Michael; Ryan, Mark, ISBN 052154310X, ISBN-13 9780521543101, Brand New, Free shipping in the US Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.
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.