Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
13.49 EUR
13.49 EUR
18-11-2025 01:48:20
Dieses Buch führt durch die Welt der formalen Logik, Mathematik und funktionalen Programmierung, wobei Haskell als klarer Ausdrucksmechanismus dient, um komplexe Beweise und Algorithmen intuitiv zu modellieren.