Di 21.04.09: Vorlesung |
Do 23.04.09: Vorlesung |
Do 30.04.09: Vorlesung und Übung | Do 07.05.09: Vorlesung und Übung |
Do 14.05.09: Vorlesung und Übung | Do 21.05.09: --- (Feiertag) |
Do 28.05.09: Vorlesung und Übung | Do 04.06.09: --- (Pfingstferien) |
Do 11.06.09: --- | Do 18.06.09: Vorlesung und Übung |
Do 25.06.09: Vorlesung und Übung | Do 02.07.09: Vorlesung und Übung |
Do 09.07.09: Vorlesung und Übung | Do 16.07.09: --- |
Do 23.07.09: Aussprache Promotion Klebanov |
Mi 05.08.09 |
Do 06.08.09 |
10:15 Uhr: Vorlesung/Übung |
10:15 Uhr: Vorlesung/Übung |
14:00 Uhr: Vorlesung/Übung |
14:00 Uhr: Vorlesung/Übung |
16:00 Uhr: Vorlesung/Übung |
16:00 Uhr: Vorlesung/Übung |
Programme zu spezifizieren und zu verifizieren erfordert Übung (ähnlich wie das Programmieren). Darum werden neben dem Vorlesungsteil auch praktische Übungen einen wesentlichen Teil dieser Veranstaltung ausmachen. Dabei kommt unter anderem das KeY Tool zum Einsatz.