Diese Lehrveranstaltung vertieft das Verständnis der Inhalte der Lehrveranstaltung "6.0 VU Formale Methoden der Informatik" durch zusätzliche Übungen.
Es werden Aufgaben zu folgenden Gebieten behandelt:
BEGINN DER LEHRVERANSTALTUNG: 17. Oktober 2017, 10:15, EI8