Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
SoSe 2024
Hilfe
Sitemap
S
tartseite
A
nmelden
Logout in
[min]
[minutetext]
Studentisches Leben
Veranstaltungen
Einrichtungen
Personen
Räume und Gebäude
Sie sind hier:
Startseite
Vorlesungsverzeichnis (WiSe 2019/20)
Seitenansicht wählen:
kurz
mittel
lang
Vorlesungsverzeichnis
Ingenieurwissenschaften
Informatik und Angewandte Kognitionswissenschaft
International Studies in Engineering (ISE)
Master Computer Engineering (PO 15) (Interactive Systems and Visualization)
Wahlkatalog Grundlagen
Vst.-Nr.
Veranstaltung
Vst.-Art
Semester
FB
/ Einrichtung
Aktion
Formale Spezifikation von Softwaresystemen
-
Heisel
Vorlesung
WiSe 2019/20
Informatik und Angewandte Kognitionswissenschaft
Übung zu "Formale Spezifikation von Softwaresystemen"
-
Wiss. Mitarbeiter
,
Heisel
Übung
WiSe 2019/20
Informatik und Angewandte Kognitionswissenschaft
Modellierung, Analyse, Verifikation
-
König
Vorlesung
WiSe 2019/20
Informatik und Angewandte Kognitionswissenschaft
Übung zu "Modellierung, Analyse, Verifikation"
-
Mika-Michalski
Übung
WiSe 2019/20
Informatik und Angewandte Kognitionswissenschaft
Impressum & Datenschutz
Erklärung zur Barrierefreiheit
Druckversion
QIS, LSF und HISinOne sind Produkte der
HIS
eG