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 (SoSe 2014)
Seitenansicht wählen:
kurz
mittel
lang
Vorlesungsverzeichnis
Wirtschaftswissenschaften
Lehramt
MA Lehramt Gymnasium/Gesamtschule - Informatik
Vst.-Nr.
Veranstaltung
Vst.-Art
Semester
FB
/ Einrichtung
Aktion
051703504
Formale Methoden des Software Engineering
-
Goedicke
Vorlesung
SoSe 2014
Spezifikation von Softwaresystemen
Pflichtbereich Fachdidaktik der Informatik
Wahlpflichtbereich Fachdidaktik der Informatik
Wahlpflichtbereich Informatik für das Profil "Softwareorientierte Informatik"
Wahlpflichtbereich Informatik für das Profil "Systemorientierte Informatik"
Praxissemester
Master-Arbeit einschließlich Begleitmodul
Impressum & Datenschutz
Erklärung zur Barrierefreiheit
Druckversion
QIS, LSF und HISinOne sind Produkte der
HIS
eG