Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Veranstaltung
Semester:
Wintersemester
2016
2.01.408 Algorithmen zur Software-Verifikation -
Veranstaltungstermin | Raum
- Dienstag, 18.10.2016 14:00 - 16:00 | A03 2-209
- Donnerstag, 20.10.2016 16:00 - 18:00 | A03 2-209
- Dienstag, 25.10.2016 14:00 - 16:00 | A03 2-209
- Donnerstag, 27.10.2016 16:00 - 18:00 | A03 2-209
- Dienstag, 1.11.2016 14:00 - 16:00 | A03 2-209
- Donnerstag, 3.11.2016 16:00 - 18:00 | A03 2-209
- Dienstag, 8.11.2016 14:00 - 16:00 | A03 2-209
- Donnerstag, 10.11.2016 16:00 - 18:00 | A03 2-209
- Dienstag, 15.11.2016 14:00 - 16:00 | A03 2-209
- Donnerstag, 17.11.2016 16:00 - 18:00 | A03 2-209
- Dienstag, 22.11.2016 14:00 - 16:00 | A03 2-209
- Donnerstag, 24.11.2016 16:00 - 18:00 | A03 2-209
- Dienstag, 29.11.2016 14:00 - 16:00 | A03 2-209
- Donnerstag, 1.12.2016 16:00 - 18:00 | A03 2-209
- Dienstag, 6.12.2016 14:00 - 16:00 | A03 2-209
- Donnerstag, 8.12.2016 16:00 - 18:00 | A03 2-209
- Dienstag, 13.12.2016 14:00 - 16:00 | A03 2-209
- Donnerstag, 15.12.2016 16:00 - 18:00 | A03 2-209
- Dienstag, 20.12.2016 14:00 - 16:00 | A03 2-209
- Donnerstag, 22.12.2016 16:00 - 18:00 | A03 2-209
- Dienstag, 10.1.2017 14:00 - 16:00 | A03 2-209
- Donnerstag, 12.1.2017 16:00 - 18:00 | A03 2-209
- Dienstag, 17.1.2017 14:00 - 16:00 | A03 2-209
- Donnerstag, 19.1.2017 16:00 - 18:00 | A03 2-209
- Dienstag, 24.1.2017 14:00 - 16:00 | A03 2-209
- Donnerstag, 26.1.2017 16:00 - 18:00 | A03 2-209
- Dienstag, 31.1.2017 14:00 - 16:00 | A03 2-209
- Donnerstag, 2.2.2017 16:00 - 18:00 | A03 2-209
Beschreibung
VA findet Di 16-18 und Mi 16-18 im A03 2-209 statt. Die anderen Termine werden noch gelöscht.
Lehrende
Studienmodule
- inf408 Algorithmen zur Software-Verifikation
Lehrsprache
deutsch