Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

FB Inf

Ansprechpartner für die Vorlesung Grundlagen der Programmierung im Sommersemester 2000

Martin Kronenburg, Raum: 34/406, Telefon: 0631/205-2509,
Bernd Löchner, Raum: 34/408, Telefon: 0631/205-2614,
Tobias Schmidt-Samoa, Raum: 34/407, Telefon: 0631/205-3338,

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