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:Wintersemester 2003/04
Prev.:Seminar Online-Algorithmen (A) [A]
Di 9-11, SR N328 (Prof. Dr. Rolf Klein, Dr. Elmar Langetepe)
Next.:Seminar Computer Graphik (B) [B]
n. Vereinb. (Prof. Dr. Reinhard Klein)

Seminar (Hauptstudium)

Seminar Model Checking

Prof. Dr. Christel Baier
Frank Ciesinski
Marcus Größer

Zeit, OrtDo 16-18, SR N1001
Bereich (alte DPO)A
Bereich (neue DPO)A

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

Wobmaster - The Wob