Logic and Computation

69.70 EUR

Ein kompakter Leitfaden, der die Theorie interaktiver Beweise mit dem Cambridge LCF-System in klarer Sprache darstellt und praxisnahe Beispiele auf 320 Seiten aus dem Jahr 2020 bietet.

Marke: Cambridge University Press
ISBN: 9780521395601
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen