Institut für Informatik
Rheinische Friedrich-Wilhelms-Universität Bonn

Index
Institut
Forschung
Lehre und Studium
DV-Dienste
Bibliothek
Fachschaft
 
Lehrveranstaltungen
Prüfungsangelegenheiten
Studienberatung
Kommission für Lehre und Studium
Vorlesungszeiten
Up:Übersicht: alle Semester
Up:Sommersemester 2006
Prev.:Seminar Model Checking (A) [A]
Di 9-11, SR N328 (Prof. Dr. Christel Baier, Frank Ciesinski, Marcus Groesser, Sascha Klüppelholz, Jörn Ossowski)
Next.:Seminar Computer Graphik (B) [B]
n.Vereinb. (Prof. Dr. Reinhard Klein, Mitarbeiter)

Seminar (Hauptstudium)

Seminar Model Checking

Prof. Dr. Christel Baier
Frank Ciesinski
Marcus Groesser
Sascha Klüppelholz
Jörn Ossowski

Zeit, OrtDi 9-11, SR N328
Bereich (alte DPO)A
Bereich (neue DPO)A

  Uni-Bonn - Math-Nat - Informatik   -   I   II   III   IV   V   VI

Wobmaster - The Wob