Autorenfreundlich Bücher kaufen?!
Beschreibung
Frontmatter -- Vorwort -- Inhaltsverzeichnis -- 1 Elemente funktionaler Programmierung -- 2 Verzögerte Auswertung -- 3 Verifikation und Programm-Transformation -- 4 Der Lambda-Kalkül -- 5 Typisierung und Typinferenz -- 6 Implementierungstechniken -- Lösungen zu den Aufgaben -- Literatur -- Index
Details
| Verlag | De Gruyter Oldenbourg |
| Ersterscheinung | 10. März 1999 |
| Maße | 24 cm x 17 cm |
| Gewicht | 750 Gramm |
| Format | Hardcover |
| ISBN-13 | 9783486251005 |
| Auflage | Reprint 2018 |
| Seiten | 192 |
Schlagwörter
Herstellerinformationen
Bekannt durch
