Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Zhe Hou - Grundlagen der Logik und Berechnung mit praktischem Automaten - J555z

Ø 0.0
0 Bewertungen
36,30 €

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: