Format:
XIV, 371 S.
,
graph. Darst.
,
240 mm x 170 mm
Edition:
2., korr. Aufl.
Edition:
Online-Ausg. 2012 Online-Resource
ISBN:
9783486705171
Series Statement:
Informatik 10-2012
Content:
Diese Einführung in die Informatik ermöglicht es, auch anspruchsvolle Programme mit der funktionalen Programmiersprache Standard ML einfach und ohne Vorkenntnisse zu realisieren. Das Buch beschäftigt sich mit dem Aufbau von Programmiersprachen sowie grundlegenden Techniken für Korrektheitsbeweise und Laufzeitbestimmungen.
Note:
In: Oldenbourg-link.com
,
In German
Additional Edition:
ISBN 9783486719734
Additional Edition:
ISBN 9783486705171
Additional Edition:
Erscheint auch als Druckausgabe Smolka, Gert, 1955 - Programmierung - eine Einführung in die Informatik mit Standard ML München : Oldenbourg, 2011 ISBN 3486705172
Additional Edition:
ISBN 9783486705171
Language:
German
Subjects:
Computer Science
Keywords:
Programmierung
;
Programmiersprache
;
Standard ML
DOI:
10.1524/9783486719734
URL:
Volltext
(lizenzpflichtig)
Author information:
Smolka, Gert 1955-
