Articles liés à Programmierung - eine Einführung in die Informatik...

Programmierung - eine Einführung in die Informatik mit Standard Ml - Couverture souple

Smolka, Gert

 
9783486705171: Programmierung - eine Einführung in die Informatik mit Standard Ml
Couverture souple
ISBN 10 : 3486705172 ISBN 13 : 9783486705171
Editeur : De Gruyter Oldenbourg, 2011

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition 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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
De Gruyter Oldenbourg
Date d'édition
2011
Langue
allemand
ISBN 10 
3486705172
ISBN 13 
9783486705171
Reliure
Broché
Numéro d'édition
2
Nombre de pages
386
Coordonnées du fabricant
non disponible
Personne responsable
non disponible