Programmierung - eine Einführung in die Informatik mit Standard ML

Gert Smolka

ISBN 10: 3486586017 / ISBN 13: 9783486586015

Edité par Oldenbourg Wissensch.Vlg, 2007

A propos de cet article

Zustand: Gut | Sprache: Deutsch | Produktart: Bücher.

N° de réf. du vendeur 4081904/203

Détails bibliographiques

• Titre: Programmierung - eine Einführung in die Informatik mit Standard ML
• Éditeur: Oldenbourg Wissensch.Vlg
• Date de parution: 2007
• Langue: allemand
• ISBN à 10 chiffres: 3486586017
• ISBN à 13 chiffres: 9783486586015
• Reliure: Couverture souple
• État de l'article: Gut

A propos de ce titre

Présentation de l'éditeur

Diese Einführung in die Informatik vermittelt Programmierung als Synthese von Theorie und Praxis. Programmierkenntnisse werden nicht vorausgesetzt. Das Buch verwendet die funktionale Programmiersprache Standard ML, mit der auch anspruchsvolle Programme einfach realisiert werden können. Leitthema des Buches ist der Aufbau von Programmiersprachen, der durch Grammatiken, Inferenzregeln und das Programmieren von Interpretern, Maschinen und Übersetzern vermittelt wird. Darauf abgestimmt werden rekursive Datenstrukturen und grundlegende Techniken für Korrektheitsbeweise und Laufzeitbestimmungen behandelt.