Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

FB Inf

Termine zur Vorlesung Grundlagen der Programmierung im Sommersemester 2000

Die Termine und Räume der Übungsgruppen sind:
- Montags, 11:45-13:15, 23-188
- Montags, 11:45-13:15, 11-201
- Dienstags, 15:30-17:00, 11-260
- Mittwochs, 11:45-13:15, 23-188
- Mittwochs, 11:45-13:15, 11-220
- Mittwochs, 13:45-15:15, 23-188
- Donnerstags, 8:00-9:30, 44-336
- Donnerstags, 8:00-9:30, 11-241
- Freitags, 11:45-13:15, 32-439
- Freitags, 11:45-13:15, 23-188
- Freitags, 13:45-15:15, 32-439
- Freitags, 13:45-15:15, 13-370

AG Formale Methoden und Deduktion

Fachbereich Informatik

Technische Universität Kaiserslautern

Letzte Änderung: Wednesday, 26-Oct-05 08:59:15 GMT
www-aven@informatik.uni-kl.de