Veranstaltungsdetails 255080-400
Formale Spezifikation und Verifikation - Ausgewählte Themen (555010/255050-001)

Formale Spezifikation und Verifikation - Ausgewählte Themen (555010/255050-001) (255080-400)

Informationen

Vorlesung

Dozent:

Prof. Andre Windisch

Zeitangabe:

Freitag (14-täglich, ungerade KW) 09:15-13:00 Uhr

Raumangabe:

A11.202 (alt: 1/B202)
A10.204 (alt: 1/204)

Obligatorische Gruppen:

M_AE__2

Wahlobligatorische Gruppen:

B_AICG6, B_AIES6, B_AIMI6, B_AIVS6, M_AISE2, M_AU__2, M_In__2