Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus
Termine
Der Termin und Raum der Vorlesung ist:
Montags, 8:15-9:45, 46-260
Der Termin und Raum der Übungsgruppe ist:
Donnerstags, 13:45-15:15, 11-260
Die Übungen finden alle zwei Wochen statt.
Der Übungsbetrieb beginnt am 14.11.2002.
Impressum
AG Formale Methoden und Deduktion
Fachbereich Informatik
Technische Universität Kaiserslautern
Letzte Änderung: Wednesday, 26-Oct-05 08:59:17 GMT
www-aven@informatik.uni-kl.de
