Programming in Haskell
- 304 stránek
- 11 hodin čtení
This extensively updated and expanded version of the best-selling first edition now covers recent and more advanced features of Haskell.
Graham Hutton Pořadí knih (chronologicky)
Tento autor se zabývá formálními přístupy k tvorbě a ověřování programů, s cílem vyvinout jednoduché, ale mocné techniky pro psaní a odvozování programů. Jeho práce se zaměřuje na matematickou strukturu programů a pokrývá širokou škálu témat, jako jsou funkcionální parsování, relační programování a koinduktivní typy. Jeho výzkum klade důraz na elegantní a efektivní metody v informatice.
North Africa
Gibraltar, Morocco, Algeria, Tunisa, the Pelagie Islands and Malta
- 279 stránek
- 10 hodin čtení
The third edition of this pilot to North Africa has been fully updated and in some areas expanded. New waypoints have been introduced to identify approach positions for each harbour and changes in the structure of the book have made it much more user friendly.