1
Inhoudsopgave: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
Volledige tekst
Elektronisch E-boek