Verifikation von C-Programmen
Willkommen auf der Heimatseite der Lehrveranstaltung „Verifikation von C-Programmen 3“ im Wintersemester 2014/2015.
Vorlesungsfolien
Die Vorlesungsfolien sind jeweils verfügbar als ganzseitiges PDF zum Betrachten, oder als 8:1 Handzettel ohne Effekte zum Drucken:
- Vorlesung vom 23.10.14: [Folien] [Handzettel]
- Vorlesung vom 30.10.14: [Folien] [Handzettel]
- Vorlesung vom 06.11.14: [Folien] [Handzettel]
- Vorlesung vom 13.11.14: [Folien] [Handzettel]
- Vorlesung vom 27.11.14: [Folien] [Handzettel]
- Vorlesung vom 04.12.14: [Folien] [Handzettel]
- Oder alle Vorlesungen in einer Datei: [Folien] [Handzettel]