Programming in Haskell
- 304 Seiten
- 11 Lesestunden
This extensively updated and expanded version of the best-selling first edition now covers recent and more advanced features of Haskell.
Graham Hutton Reihenfolge der Bücher (Chronologisch)
Dieser Autor befasst sich mit formalen Ansätzen zur Programmkonstruktion und -verifizierung mit dem Ziel, einfache, aber leistungsfähige Techniken zum Schreiben und Begründen von Programmen zu entwickeln. Seine Arbeit betont die zugrunde liegende mathematische Struktur von Programmen und behandelt Themen wie funktionales Parsen, relationale Programmierung und koinduktive Typen. Seine Forschung konzentriert sich auf elegante und effiziente Methoden in der Informatik.
North Africa
Gibraltar, Morocco, Algeria, Tunisa, the Pelagie Islands and Malta
- 279 Seiten
- 10 Lesestunden
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.