Programmierung eine Einführung in die Informatik mit Standard ML

Diese Einfuhrung in die Informatik ermoglicht es, auch anspruchsvolle Programme mit der funktionalen Programmiersprache Standard ML einfach und ohne Vorkenntnisse zu realisieren. Das Buch beschaftigt sich mit dem Aufbau von Programmiersprachen sowie grundlegenden Techniken fur Korrektheitsbeweise und Laufzeitbestimmungen."