grundlagen funktionalen programmierung di thiemann peter (8 risultati)

Broschiert. Condizione: Gut. 23cm 348 Seiten. Broschiert. Zustand: Gut bis Sehr Gut min. gebräunt (Innen); Einband (Außen) hat geringe Gebrauchsspuren; Schnitt hat seitlich einen kleinen Fleck; * Die Photos sind original von uns erstellt worden, u.a. erkennbar an einem kleinen weißen Stück Papier im oberen Schnitt. Ab und an verwenden Suchmaschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt.

Paperback. Condizione: New.

Condizione: New. pp. 352.

Taschenbuch. Condizione: Neu. Grundlagen der funktionalen Programmierung | Peter Thiemann | Taschenbuch | 348 S. | Deutsch | 1994 | Vieweg & Teubner | EAN 9783519021377 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das vorliegende Buch entstand aus einer Reihe von Vorlesungen, die der Autor an der Eberhard-Karls-UniversWit Tiibingen unter dem Titel 'Einfiihrung in die funktionale Programmierung' gehalten hat. Die Zielgruppe der Vorlesung sind Studenten im Hauptstudium, die Informatik als Haupt-oder Nebenfach belegen. Voraussetzungen zum Verstandnis des Buches sind die Kenntnis von Grundbe griffen der Informatik und Programmierung. Die Vorlesung, wie auch das Bueh, besteht aus zwei Tellen. Der erste Tell um faBt die Kapitell bis 8 und ist praktisch orientiert. Er gibt eine kurze Einfiihrung in die rein-funktionale Programmiersprache Gofer mit grundlegenden Program mierteehniken und Methoden der Verifikation und Transformation von Program men gefolgt von einem kurzen Ausbliek auf fortgesehrittene Techniken und wei terfiihrende Konzepte. Insbesondere wird auf Typklassen, Konstruktorklassen und Monaden, sowie rein-funktionale Ein-und Ausgabe eingegangen. Typklassen und Konstruktorklassen erlauben die kontrollierte Uberladung von benutzerde finierten Funktionen. Monaden ermoglichen unter anderem die Integration von in rein-funktionale Programmierspraehen. Variablen im herkommlichen Sinn 1m zweiten Teil (Kap. 9 bis 15) werden verschiedene Modelle fur Semantik und Ausfiihrung funktionaler Programmiersprachen vorgestellt. Der Tell umfaBt eine Einfiihrung in die Bereichstheorie, universelle Algebra, operationelle und de notationelle Semantik, und den Lambda-Kalkiil. Ferner werden Typen und ihre Semantik, die automatisehe Rekonstruktion von Typen, sowie Grundbegriffeder abstrakten Interpretation und Striktheitsanalyse behandelt. Damit verzahnt wer den Implementierungstechniken fur funktionale Programmiersprachen auf einer abstrakten Ebene diskutiert. 348 pp. Deutsch.

Condizione: New. Print on Demand pp. 352 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 352.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Einfuehrung.- 2 Grundlegende Sprachstrukturen.- 2.1 Programmierung mit Funktionen.- 2.2 Lexikalische Syntax.- 2.3 Deklarationen.- 2.4 Typausdruecke.- 2.5 Ausdruecke.- 2.6 Muster.- 2.7 Deklarationen auf der Skriptebene.- 2.8 Polymorphie.- 2.9 Aufgaben.- 3 Fun.