Übungen
Materialien
Übung 1 (20.04.2012)
- Link: Maude-Homepage
- Link: Maude for Windows
- Link: Maude Eclipse-PlugIn
Übung 2 (27.04.2012)
Übung 3 (04.05.2012)
- Übungsblatt 2
- Maude-Module: NATPREFIX, SET0, SPIELKARTE
- Maude-Quelltexte der Lösungen