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.
Zhe Hou - Fundamentals of Logic and Computation With Practical Autom - T555z
- Item No : 375416554901
- Condition : Brand New
- Brand : Texts in Computer Science
- Seller : ihaveit_music
- Current Bid : US $40.77
-
* Item Description
- This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
-
- NO GRID Survival Projects
- $ 37.00
