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
Suche nach Veranstaltungen
Studiengangpläne
Ausfallende Veranstaltungen
Navigation ausblenden
Vorlesungsverzeichnis (WiSe 2017/18)
Seitenansicht wählen:
kurz
mittel
lang
Vorlesungsverzeichnis
Ingenieurwissenschaften
Informatik und Angewandte Kognitionswissenschaft
International Studies in Engineering (ISE)
Master Computer Engineering (PO 15) (Intelligent Networked Systems)
Wahlkatalog Grundlagen
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
Formale Spezifikation von Softwaresystemen
-
Heisel
Vorlesung
Übung zu "Formale Spezifikation von Softwaresystemen"
-
Meis
Übung
Modellierung, Analyse, Verifikation
-
König
Vorlesung
Übung zu "Modellierung, Analyse, Verifikation"
-
Wiss. Mitarbeiter
,
König
Übung
Impressum & Datenschutz
Erklärung zur Barrierefreiheit
Druckversion
QIS, LSF und HISinOne sind Produkte der
HIS
eG