Modul "Algebraische Spezifikation" im SS16

Dozent: Prof. Dr. Dirk Nowotka

Dieses Modul ist für dieses Semester in folgenden Masterprogrammen eingeplant:

• Algorithmen und Komplexität (Beginn : SS15)
• Software Engineering (Beginn : WS15/16)
• Logik in der Informatik (Beginn : SS16)