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 
  1. WiSe 2023/24
  2. Hilfe
  3. Sitemap
Switch to english language
Startseite    Anmelden     
Logout in [min] [minutetext]

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2019 , Aktuelles Semester: WiSe 2023/24
  • Funktionen:
Formale Methoden des Software Engineering (Übung)    Sprache: Deutsch    Keine Belegung möglich
Nr.:  0324     Übung     SoSe 2019     2 SWS     jedes 2. Semester     http://www.s3.uni-due.de/
   Lehrstuhl: Spezifikation von Softwaresystemen    
 
      TM M.Sc., Technomathematik (Master of Science)   ( 1. - 3. Semester )
  M M.Sc., Mathematik (Master of Science)   ( 1. - 3. Semester )
  W10, Wirtschaftsinformatik (Master of Science)   ( 1. - 3. Semester )
  S2, Angewandte Informatik - Systems Engineering (Master of Science)   ( 1. - 3. Semester ) - Kategorie : WP    
  LA Info Ma GyGe, Informatik im Masterstudiengang mit der Lehramtsoption Gymnasium/Gesamtschulen   ( 1. - 3. Semester )
   Zugeordnete Lehrperson:   Goedicke verantwort
 
 
 
   Termin: keine Angabe         wöch.   
  ÜB findet nach Vereinbarung am Lehrstuhl statt.
 
 
 
   Bemerkung:

Detaillierte Informationen zur Lehrveranstaltung finden Sie unter Lehrveranstaltungen oder Lehrveranstaltungen_SS19.