Prof. Dr. em. Hans Jürgen Ohlbach
Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen
Ab 1.10.2016 bin ich nicht mehr Studiendekan und Prüfungsausschussvorsitzender. Das ist jetzt Prof. Dr. Christian Böhm.


Ludwig-Maximilians-Universität München
Institut für Informatik
Oettingenstr. 67
D-80538 München
Email: ohlbach@informatik.uni-muenchen.de

Sekretariat: Frau Kroiß, Tel. ..49 89 2180 9310

Ein neues Buch:

Ohlbach, Eisinger: Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker

Das Buch gibt es auch innerhalb der LMU unter
Teil 1 und Teil 2


Last Modified: Tuesday, 24-Apr-2018 15:33:31 CEST