Suchergebnis: Lehrveranstaltungen im Frühjahrssemester 2023

Informatik Master Information
Ergänzungen
Ergänzung in Programming Languages and Software Engineering
NummerTitelTypECTSUmfangDozierende
263-2812-00LProgram Verification Information Belegung eingeschränkt - Details anzeigen W5 KP3G + 1A
263-2812-00 GProgram Verification Für Fachstudierende und Hörer/-innen ist eine Spezialbewilligung der Dozierenden notwendig.3 Std.
Mi09:15-12:00CAB G 56 »
P. Müller, M. Eilers
263-2812-00 AProgram Verification Für Fachstudierende und Hörer/-innen ist eine Spezialbewilligung der Dozierenden notwendig.1 Std.P. Müller, M. Eilers
263-2815-00LAutomated Software Testing Information Belegung eingeschränkt - Details anzeigen
Last cancellation/deregistration date for this graded semester performance: 17 March 2023! Please note that after that date no deregistration will be accepted and the course will be considered as "fail".
W7 KP2V + 1U + 3A
263-2815-00 VAutomated Software Testing2 Std.
Di12:15-14:00CAB G 61 »
Z. Su
263-2815-00 UAutomated Software Testing1 Std.
Mo17:15-18:00CAB G 51 »
Z. Su
263-2815-00 AAutomated Software Testing3 Std.Z. Su
263-2925-00LProgram Analysis for System Security and Reliability Information W7 KP2V + 1U + 3A
263-2925-00 VProgram Analysis for System Security and Reliability
Findet dieses Semester nicht statt.
2 Std.M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability
Findet dieses Semester nicht statt.
1 Std.M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability
Findet dieses Semester nicht statt.
3 Std.M. Vechev
263-4600-00LFormal Methods for Information Security Information W5 KP2V + 1U + 1A
263-4600-00 VFormal Methods for Information Security
Findet dieses Semester nicht statt.
2 Std.
263-4600-00 UFormal Methods for Information Security
Findet dieses Semester nicht statt.
1 Std.
263-4600-00 AFormal Methods for Information Security
Findet dieses Semester nicht statt.
1 Std.
  •  Seite  1  von  1