Fundamentals of Logic and Computation: With Practical Automated Reasoning and
64,19 €
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:
