Veranstaltungsdetails 255080-405
Formale Spezifikation und Verifikation - Ausgewählte Themen (555010/255050-001)
Formale Spezifikation und Verifikation - Ausgewählte Themen (555010/255050-001) (255080-405)
Informationen
Übung
Dozent:
Dr. Shadi Saleh
Zeitangabe:
Freitag
(14-täglich, gerade KW)
09:15-13:00 Uhr
Raumangabe:
Obligatorische Gruppen:
M_AE__2
Wahlobligatorische Gruppen:
B_AICG6,
B_AIES6,
B_AIMI6,
B_AIVS6,
M_AISE2,
M_AU__2,
M_In__2