![[Christian-Albrechts-Universität]](../images/cau_logo.gif)
![[Technical Faculty]](../images/tflogo.gif)
Institute of Computer Science and Applied Mathematics
in the Technical Faculty of Christian-Albrechts-University of Kiel
Wintersemester 2005/2006
Diese Liste dient als Grobübersicht und zur schnelleren
Orientierung bezüglich unseres Lehrangebotes. Die offiziellen
studientechnischen Daten wie Nummer, Klassifikation, etc. zu den
Veranstaltungen des Lehrstuhls können über die zentrale Univis-Datenbank abgerufen
werden. Weitere Informationen zu den einzelnen Veranstaltungen werden unter
den unten angeführen Links während des Semesters bereitgestellt.
- Seminar Softwaretechnologie: Programmverifikation
voriges/
nächstes Semester
Maintained by:
Martin Steffen