Software: Logik, Semantik und Verifikation

Hauptseite
Literatur
Übungen
Klausuren
Mailingliste
Software
Material

SML

Für die praktischen Übungen zu der Vorlesung werden wir Standard ML verwenden. Das verwendete Programmiersystem ist Moscow ML. Sie finden jede Menge Information dazu auf den Seiten der Vorlesung Programmierung.

Previewer

Übungsblätter werden als PDF und Postscript Dateien angeboten. Sie können dazu die folgenden Previewer verwenden.



Christian Schulte, Letzte Änderung: Mon Oct 16 13:11:03 2017.