Programming in Haskell
- 304 stránok
- 11 hodin čítania
This extensively updated and expanded version of the best-selling first edition now covers recent and more advanced features of Haskell.
Graham Hutton Poradie kníh (chronologicky)
Tento autor sa zaoberá formálnymi prístupmi k tvorbe a overovaniu programov, s cieľom vyvinúť jednoduché, ale mocné techniky na písanie a odvodzovanie programov. Jeho práca sa zameriava na matematickú štruktúru programov a pokrýva širokú škálu tém, ako sú funkcionálne parsovanie, relačné programovanie a koinduktívne typy. Jeho výskum kladie dôraz na elegantné a efektívne metódy v informatike.
North Africa
Gibraltar, Morocco, Algeria, Tunisa, the Pelagie Islands and Malta
- 279 stránok
- 10 hodin čítania
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.