Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Englisch
116,90 €*
Versandkostenfrei per Post / DHL
Aktuell nicht verfügbar
Kategorien:
Beschreibung
This book introduces fundamental techniques for reasoning mathematically about functional programs. Ideal for a first- or second-year undergraduate course.
This book introduces fundamental techniques for reasoning mathematically about functional programs. Ideal for a first- or second-year undergraduate course.
Über den Autor
Richard Bird is Emeritus Professor of Computer Science at Oxford University Computing Laboratory and a Fellow of Lincoln College, Oxford. He has authored many books, including Algebra of Programming (1996) and Pearls of Functional Algorithm Design (Cambridge University Press, 2010).
Inhaltsverzeichnis
Preface; 1. What is functional programming?; 2. Expressions, types and values; 3. Numbers; 4. Lists; 5. A simple Sudoku solver; 6. Proofs; 7. Efficiency; 8. Pretty-printing; 9. Infinite lists; 10. Imperative functional programming; 11. Parsing; 12. A simple equational calculator; Index.
Details
Erscheinungsjahr: | 2014 |
---|---|
Genre: | Informatik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Buch |
ISBN-13: | 9781107087200 |
ISBN-10: | 1107087201 |
Sprache: | Englisch |
Ausstattung / Beilage: | HC gerader Rücken kaschiert |
Einband: | Gebunden |
Autor: | Bird, Richard |
Hersteller: | Cambridge University Press |
Maße: | 250 x 175 x 24 mm |
Von/Mit: | Richard Bird |
Erscheinungsdatum: | 09.10.2014 |
Gewicht: | 0,799 kg |
Über den Autor
Richard Bird is Emeritus Professor of Computer Science at Oxford University Computing Laboratory and a Fellow of Lincoln College, Oxford. He has authored many books, including Algebra of Programming (1996) and Pearls of Functional Algorithm Design (Cambridge University Press, 2010).
Inhaltsverzeichnis
Preface; 1. What is functional programming?; 2. Expressions, types and values; 3. Numbers; 4. Lists; 5. A simple Sudoku solver; 6. Proofs; 7. Efficiency; 8. Pretty-printing; 9. Infinite lists; 10. Imperative functional programming; 11. Parsing; 12. A simple equational calculator; Index.
Details
Erscheinungsjahr: | 2014 |
---|---|
Genre: | Informatik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Buch |
ISBN-13: | 9781107087200 |
ISBN-10: | 1107087201 |
Sprache: | Englisch |
Ausstattung / Beilage: | HC gerader Rücken kaschiert |
Einband: | Gebunden |
Autor: | Bird, Richard |
Hersteller: | Cambridge University Press |
Maße: | 250 x 175 x 24 mm |
Von/Mit: | Richard Bird |
Erscheinungsdatum: | 09.10.2014 |
Gewicht: | 0,799 kg |
Warnhinweis