Prof. Dr. H. Peter Gumm
Forschung
Coalgebren
Verifikation verteilter Systeme
Universelle Algebra
Publikationen
Bücher und Monographien
Artikel
Using
XY-pic
in
LyX
(Documentation)
html
or
pdf
Lehre
Sommersemester 2010
Theoretische Informatik
Di. 8:00-10:00 in HG 5
Mi. 8:00-10:00 in HG 4
Übungsseite mit Skript
Model Checking
Di. 14:00-16:00 in HS II
Do. 14:00-16:00 in HS II
Übungsseite mit Skript
Kontakt
Tel.: (06421) 28-
21516
Fax: (06421) 28-
25419
E-Mail
Sekretariat (Ebene D5, Zi 5426)
Frau Heinbächer, Tel.: -
21514
Frau Dinklage, Tel: -
21513
Hinweise für Besucher des FB Mathematik u. Informatik
Sprechzeiten
Sprechzeiten nach
e-mail Vereinbarung