Schade – dieser Artikel ist leider ausverkauft. Sobald wir wissen, ob und wann der Artikel wieder verfügbar ist, informieren wir Sie an dieser Stelle.
  • Format: PDF

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.…mehr

Produktbeschreibung
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.

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.