AG Programmiersprachen und Übersetzerkonstruktion

Lehrveranstaltungen im Sommersemester 2004

  •     Vorlesung "Deklarative Programmiersprachen" (Ankündigung)
  •     Vorlesung "Systematisches Programmieren" (Ankündigung)
  •     Vorlesung "Softwaretechnik zum Zertifizieren von Systemen"(Ankündigung)
  •     Seminar "Implementierung von Programmiersprachen" (Ankündigung)
  •     Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
  •     Fortgeschrittenen Praktikum "WebFun"(Ankündigung)
  •     Arbeitsgemeinschaft "Informatik, Logik und Mathematik"