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

Logik und Berechnung: Interaktiver Beweis mit Cambridge Lcf von Lawrence C. Pauls

Ø 0.0
0 Bewertungen
97,69 €

Cambridge LCF is a computer program for reasoning about computation. This book consists of two parts. They are explained at an intuitive level, giving references to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF.

Jetzt bei Ebay: