Wintersemester 2004/05

Beweisbar korrekte Software WS 2004/2005
Holger Grandy. Michael Balser
Termin: Vorlesung: Donnerstag, 10:15 Uhr Praktikum: Dienstag, 14:15 - 15:45 Uhr, Freitag, 10:15 - 11:45 Uhr, Dienstag, 16:00 - 17:30 Uhr, Freitag, 12:30 - 14:00 Uhr
Software Entwicklung für Industrieroboter 04/05
Dr. Gerhard Schellhorn
Seminar Internetsicherheit WS 2004/05
K. Stenzel
Logik für Informatiker 2004/05
Prof. W. Vogler, Dipl.-Inf. K. Stenzel
Termin: Montag 10:15 Uhr - 11:45 Uhr
Softwaretechnik WS 2004/05
Prof. W. Reif
Termin: Montag, 12:30-14:00 und Mittwoch, 10:15 - 11:45
Seminar Systemmodellierung und Verifikation WS 2004/05
M. Balser