Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

 FB Inf

Veranstaltungen im WS 2000/2001

Im Wintersemester 2000/2001 wurde die Vorlesung Entwurf und Analyse von Algorithmen angeboten.
Impressum AG Formale Methoden und Deduktion Fachbereich Informatik Technische Universität Kaiserslautern Valid HTML 4.01!
Letzte Änderung: Wednesday, 26-Oct-05 08:59:16 GMT
www-aven@informatik.uni-kl.de