TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Abschlussarbeiten  |  Sonstiges  |  Kontakt  | 

Ferienakademie

Der Lehrstuhl IV beteiligt sich gelegentlich an der Ferienakademie im Sarntal der TU München und Uni Erlangen.

frühere Kurse

• 2000: Formale Modelle von Programmiersprachen (Nipkow, Schneider)

• 1995: Logik und Programmierung (Broy, Stoyan)

• 1992: Logik und Programmierung (Broy, Schneider)

• 1990: Logik in der Programmierung (Broy, Schneider)