TGI-Lehre WWW
	Kontakt | Index | Suche | Rundgang | English

Formale Spezifikation, SS 2007

Diese Seite enthält Material und zusätzliche Informationen zur Veranstaltung Formale Spezifikation im SS 2007. Di 12 - 14 in C-221. Veranstalter: Michael Köhler

1. Aktuelles Skript (Version 0.3)
2. Kompletter Foliensatz: Einsortige Spezifikation
3. Foliensatz: Mehrsortige Spezifikation, Rewriting Logic