Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
Semester:
Winter term
2016
2.01.408 Algorithmen zur Software-Verifikation -
Event date(s) | room
- 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
Description
VA findet Di 16-18 und Mi 16-18 im A03 2-209 statt. Die anderen Termine werden noch gelöscht.
Lecturers
Modules
- inf408 Algorithmen zur Software-Verifikation
Lehrsprache
deutsch