Formale Methoden der Informatik

Dozent:
CCProf. Dr. Clemens Cap
      Az.
1. Einleitung   25
2. Mathematisches Propädeutikum   42
3. Induktion   4