Zhe Hou Fundamentals of Logic and Computation (Taschenbuch)
41,79 €
Autor: Zhe Hou. Produktart: Taschenbuch. 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.
Jetzt bei Ebay:
