Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen, Institut für Informatik
print

Sprachumschaltung

Navigationspfad


Inhaltsbereich
Hans Jürgen Ohlbach

Prof. Dr. em. Hans Jürgen Ohlbach

Extra-Ordinarius

Kontakt

Ludwig-Maximilians-Universität München
Institut für Informatik
Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen
Oettingenstraße 67
D-80538 München


Weitere Informationen

Ein neues Buch:

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

Das Buch gibt es auch innerhalb des Instituts für Informatik der LMU unter
Teil 1 und Teil 2