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
Suche