FMI | SZS | Lehre | SS 2006

Universität Stuttgart

|

|

|

|

|

Veröffentlichungen

|

|

|

|

	Institut für Formale Methoden der Informatik
	SZS - Lehre im Sommersemester 2006

Fachpraktikum Effizientes Programmieren (Esparza, Kiefer, Kufleitner)
Hauptseminar Spiele in der Informatik (Esparza und Nowotka)
Vorlesung Einführung in die Softwaretechnik II (Esparza)
Vorlesung Model Checking (Esparza)
Vorlesung Automatische Analyse und Verifikation von Programmen (Nowotka)
Vorlesung Informationstheorie (Reuß)
Vorlesung Grundzüge der Statistik (Reuß)

Vorläufige Raum- und Termineinteilung