19612a Übung

WiSe 12/13: Modelchecking

Marcel Kyas

Hinweise für Studierende

Veranstaltung findet in der ersten Hälfte des Semesters statt.

9 Termine

Regelmäßige Termine der Lehrveranstaltung

Do, 18.10.2012 14:00 - 16:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
049/T9 Seminarraum (Takustr. 9)

Do, 25.10.2012 14:00 - 16:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
049/T9 Seminarraum (Takustr. 9)

Do, 01.11.2012 14:00 - 16:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
049/T9 Seminarraum (Takustr. 9)

Do, 08.11.2012 14:00 - 16:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
049/T9 Seminarraum (Takustr. 9)

Do, 15.11.2012 14:00 - 16:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
049/T9 Seminarraum (Takustr. 9)

Do, 22.11.2012 14:00 - 16:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
049/T9 Seminarraum (Takustr. 9)

Do, 29.11.2012 14:00 - 16:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
049/T9 Seminarraum (Takustr. 9)

Do, 06.12.2012 14:00 - 16:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
049/T9 Seminarraum (Takustr. 9)

Do, 13.12.2012 14:00 - 16:00

Dozenten:
Prof. Dr. Marcel Kyas

Räume:
049/T9 Seminarraum (Takustr. 9)

Studienfächer A-Z