1
Sisällysluettelo: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
Hae kokoteksti
Elektroninen E-kirja