Prof. Dr. 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
Raum: 1.10 (E Flügel)
Email: ohlbach@informatik.uni-muenchen.de
Tel. .. 49 89 2180 9300
Fax .. 49 89 2180 9311

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

Sprechstunde: Mi 10-11 Uhr

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: Wednesday, 20-Sep-2017 10:12:14 CEST