Programmierung - eine Einführung in die Informatik mit Standard ML
Produktnummer:
18aeb2ca7997904fcbb42fb228ecad6bb7
Autor: | Smolka, Gert |
---|---|
Themengebiete: | COMPUTERS Computer Science Programmiersprachen Programming and Languages |
Veröffentlichungsdatum: | 27.07.2011 |
EAN: | 9783486705171 |
Auflage: | 2 |
Sprache: | Deutsch |
Seitenzahl: | 385 |
Produktart: | Kartoniert / Broschiert |
Verlag: | De Gruyter Oldenbourg |
Produktinformationen "Programmierung - eine Einführung in die Informatik mit Standard ML"
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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen