Software: Logik, Semantik und Verifikation

Hauptseite
Literatur
Übungen
Klausuren
Mailingliste
Software
Skript

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 und das Skript werden als PDF-Dateien angeboten. Sie können dazu den Acrobat Reader verwenden.



Christian Schulte, Letzte Änderung: Sat Oct 28 17:12:37 2017.