Vorlesung "Verification Technology"
Inhalt
Organisation
| Typ: | Vorlesung (V3) und Übung (V1) |
| Zeit: | Di, 11:40-13:20 und Fr, 12:00-12:45 |
| Raum: | S3 06 202 |
| Vorlesungsbeginn: | 25. Oktober 2016 |
| Dozent: | Prof. Dr.-Ing. Hans Eveking |
| Turnus: | jedes WS |
| Vorlesungssprache: | Englisch |
| Prüfung: | mündlich |
Materialien
Materialien sind auch als Gast bei Moodle (ohne Passwort) zugänglich.
