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 2011
Logik
Mo. 10:00-12:00 in HG 4 (Biegenstraße)
Do. 12:00-14:00 in HG 7 (Biegenstraße)
Übungsseite mit Skript
Model Checking
Mo. 14:00-16:00 in HS V (Lahnberge)
Di. 16:00-18:00 in HS V (Lahnberge)
Ü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
Di 14:00-15:00
und nach
Vereinbarung