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: 9. Oktober 2018, 9:00 (s.t.), EI8 (Vorbesprechung)
For each of the topics, there will be an exercise sheet. Students submit their solutions in tuwel and these solutions are graded.