Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Englisch
67,90 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
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: | Taschenbuch |
Inhalt: | Kartoniert / Broschiert |
ISBN-13: | 9781107452640 |
ISBN-10: | 1107452643 |
Sprache: | Englisch |
Ausstattung / Beilage: | Paperback |
Einband: | Kartoniert / Broschiert |
Autor: | Bird, Richard |
Hersteller: | Cambridge University Press |
Maße: | 244 x 170 x 20 mm |
Von/Mit: | Richard Bird |
Erscheinungsdatum: | 10.09.2014 |
Gewicht: | 0,618 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: | Taschenbuch |
Inhalt: | Kartoniert / Broschiert |
ISBN-13: | 9781107452640 |
ISBN-10: | 1107452643 |
Sprache: | Englisch |
Ausstattung / Beilage: | Paperback |
Einband: | Kartoniert / Broschiert |
Autor: | Bird, Richard |
Hersteller: | Cambridge University Press |
Maße: | 244 x 170 x 20 mm |
Von/Mit: | Richard Bird |
Erscheinungsdatum: | 10.09.2014 |
Gewicht: | 0,618 kg |
Warnhinweis