TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

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

Praktika

Praktika im Sommersemester 03

• Beweiser (Letz, Schramm)

• Softwaretechnik - Praktikum AutoFLEX (Prof. Broy)

• Spezifikation und Verifikation (Prof. Nipkow)

• Programmierpraktikum Programming Enterprise Applications (Prof. Broy)

Praktika im Sommersemester 02

• Softwaretechnik - Praktikum APE (Prof. Broy)

• Spezifikation und Verifikation (Prof. Nipkow)

Praktika im Wintersemestersemester 01/02

• Funktionales Programmieren und Compilierbau (Prof. Nipkow)

Frühere Praktika

• Softwaretechnik - Praktikum PalME (Prof. Broy, SoS 2001)

• Spezifikation und Verifikation (Prof. Nipkow)

• Softwaretechnik - Praktikum, CROFT (Prof. Broy, SoS 2000)

• Programmierpraktikum: Funktionale und logische Programmierung (Prof. Nipkow, SoS 2000)

• Spezifikation und Verifikation (Prof. Nipkow, SoS 2000)

• Softwaretechnik - Praktikum, Carp@ (Prof. Broy, SoS 1999)

• Spezifikation und Verifikation (Prof. Nipkow, SoS 1999)

• Softwaretechnik - Praktikum (Prof. Broy, SoS1998)

• Spezifikation und Verifikation (Prof. Nipkow, SoS 1998)

• Softwaretechnik - Praktikum (Broy, SoS 1997)

• Spezifikation und Verifikation (Prof. Nipkow, SoS 1997)

• Softwaretechnik - Praktikum (Broy, Endres, SoS 1996)

• Spezifikation und Verifikation (Nipkow, SoS 1996)

• Spezifikation und Verifikation (Nipkow, SoS 1995)

• Softwaretechnik - Praktikum (Broy, Endres, SoS 1995)