-
EAC
-
Lehre
-
Sommersemester 2021
Vorlesung: Formale Methoden I
ist aus dem Hochschulnetz der TU Dortmund als pdf-Dokument verfügbar. Schichl, H., Steinbauer, R. (2011). Einführung in das mathematische Arbeiten, 2. Auflage. Springer Spektrum. Das Buch ist aus dem H …
