Custom cover image
Custom cover image

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

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: German Publisher: München [u.a.] : Oldenbourg, 2009Copyright date: ©2008Description: XIV, 371 S. : graph. DarstISBN:
  • 9783486586015
Subject(s): Additional physical formats: 9783486595345 | Erscheint auch als: Programmierung - eine Einführung in die Informatik mit Standard ML. Druck-Ausgabe München : Oldenbourg, 2008. XIV, 371 S.MSC: MSC: *68-01 | 68N18RVK: RVK: ST 110 | ST 230LOC classification:
  • QA76.7
DOI: DOI: 10.1524/9783486595345Online resources: Summary: 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.Original version: Originalfassung: 2008PPN: PPN: 1648648169Package identifier: Produktsigel: ZDB-42-OBL | ZDB-42-ON1 | ZDB-23-DGG | EBA-BACKALL | EBA-CL-CHCOMSGSEN | EBA-DGALL | EBA-EBKALL | EBA-STMALL | GBV-deGruyter-alles | ZDB-23-GBA | ZDB-23-GPS
No physical items for this record

Restricted Access; Controlled Vocabulary for Access Rights: online access with authorization star

http://purl.org/coar/access_right/c_16ec.

Online-Ausg. Online-Ressource

2008

In German

KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT