Koop 10 boeken voor 10 € hier!
Bookbot

Graham Hutton

    Deze auteur duikt in formele benaderingen voor programmaconstructie en -verificatie, met als doel eenvoudige maar krachtige technieken te ontwikkelen voor het schrijven en redeneren over programma's. Zijn werk benadrukt de onderliggende wiskundige structuur van programma's en onderzoekt onderwerpen als functioneel parsen, relationeel programmeren en coinductieve typen. Zijn onderzoek richt zich op elegante en efficiënte methodologieën binnen de informatica.

    Programming in Haskell
    North Africa
    • 2007

      Programming in Haskell

      • 184bladzijden
      • 7 uur lezen
      4,0(328)Tarief

      Haskell is one of the leading languages for teaching functional programming, enabling students to write simpler and cleaner code, and to learn how to structure and reason about programs. This introduction is ideal for beginners: it requires no previous programming experience and all concepts are explained from first principles via carefully chosen examples. Each chapter includes exercises that range from the straightforward to extended projects, plus suggestions for further reading on more advanced topics. The author is a leading Haskell researcher and instructor, well-known for his teaching skills. The presentation is clear and simple, and benefits from having been refined and class-tested over several years. The result is a text that can be used with courses, or for self-learning. Features include freely accessible Powerpoint slides for each chapter, solutions to exercises and examination questions (with solutions) available to instructors, and a downloadable code that's fully compliant with the latest Haskell release.

      Programming in Haskell
    • 2005

      North Africa

      Gibraltar, Morocco, Algeria, Tunisa, the Pelagie Islands and Malta

      • 279bladzijden
      • 10 uur lezen
      4,0(2)Tarief

      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.

      North Africa