703800 Verification using Model Checking (V)
Sommersemester 2007 | Stand: 26.07.2007 | LV auf Merkliste setzen703800
Verification using Model Checking (V)
VU 3
wöch.
jährlich
Englisch
V-CL, V-DERI, V-QE, V-DPS, V-DBIS
Beginn: KW 9
Beginn: KW 9
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Blom S. | ||||
| Datum | Uhrzeit | Ort | ||
|
Do 08.03.2007
|
09.00 - 11.00 | SR 12 SR 12 | Barrierefrei | |
|
Do 15.03.2007
|
09.00 - 11.00 | SR 12 SR 12 | Barrierefrei | |
|
Do 22.03.2007
|
09.00 - 11.00 | SR 12 SR 12 | Barrierefrei | |
|
Do 29.03.2007
|
09.00 - 11.00 | SR 12 SR 12 | Barrierefrei | |
|
Do 19.04.2007
|
09.00 - 11.00 | SR 12 SR 12 | Barrierefrei | |
|
Do 26.04.2007
|
09.00 - 11.00 | SR 12 SR 12 | Barrierefrei | |
|
Do 03.05.2007
|
09.00 - 11.00 | SR 12 SR 12 | Barrierefrei | |
|
Do 10.05.2007
|
09.00 - 11.00 | SR 12 SR 12 | Barrierefrei | |
|
Do 24.05.2007
|
09.00 - 11.00 | SR 12 SR 12 | Barrierefrei | |
|
Do 31.05.2007
|
09.00 - 11.00 | SR 12 SR 12 | Barrierefrei | |
|
Do 14.06.2007
|
09.00 - 11.00 | SR 12 SR 12 | Barrierefrei | |
|
Do 21.06.2007
|
09.00 - 11.00 | SR 12 SR 12 | Barrierefrei | |
|
Do 28.06.2007
|
09.00 - 11.00 | SR 12 SR 12 | Barrierefrei | |
|
Do 05.07.2007
|
09.00 - 11.00 | SR 12 SR 12 | Barrierefrei | |
|
Di 21.08.2007
|
09.30 - 12.00 | SR 12 SR 12 | Barrierefrei | exam |
|
Gruppe 1
|
||||
| Blom S. | ||||
| Datum | Uhrzeit | Ort | ||
|
Do 08.03.2007
|
08.00 - 09.00 | rr 20 rr 20 | Barrierefrei | |
|
Do 15.03.2007
|
08.00 - 09.00 | rr 20 rr 20 | Barrierefrei | |
|
Do 22.03.2007
|
08.00 - 09.00 | rr 20 rr 20 | Barrierefrei | |
|
Do 29.03.2007
|
08.00 - 09.00 | rr 20 rr 20 | Barrierefrei | |
|
Do 19.04.2007
|
08.00 - 09.00 | rr 20 rr 20 | Barrierefrei | |
|
Do 26.04.2007
|
08.00 - 09.00 | rr 20 rr 20 | Barrierefrei | |
|
Do 03.05.2007
|
08.00 - 09.00 | rr 20 rr 20 | Barrierefrei | |
|
Do 10.05.2007
|
08.00 - 09.00 | rr 20 rr 20 | Barrierefrei | |
|
Do 24.05.2007
|
08.00 - 09.00 | rr 20 rr 20 | Barrierefrei | |
|
Do 31.05.2007
|
08.00 - 09.00 | rr 20 rr 20 | Barrierefrei | |
|
Do 14.06.2007
|
08.00 - 09.00 | rr 20 rr 20 | Barrierefrei | |
|
Do 21.06.2007
|
08.00 - 09.00 | rr 20 rr 20 | Barrierefrei | |
|
Do 28.06.2007
|
08.00 - 09.00 | rr 20 rr 20 | Barrierefrei | |
|
Do 05.07.2007
|
08.00 - 09.00 | rr 20 rr 20 | Barrierefrei | |