Grundlagen der Logik und Berechnung: Mit praktischem automatisierten Denken und...
42,36 €
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Th 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:
