Softwaretechnik und Programmiersprachen
|
SWT-ASV-M: Applied Software Verification
V; 2 SWS; Do, 14:00 - 16:00, WE5/03.004; Einzeltermin am 7.5.2015, 10:00 - 12:00, WE5/05.003; Einzeltermin am 13.5.2015, Einzeltermin am 3.6.2015, 14:00 - 16:00, WE5/05.003; Ersatztermine sind Do 7.5.2015, Mi 13.5. und 3.6.2015
|
Lüttgen, G.
|
|
SWT-ASV-M: Applied Software Verification
Ü; 2 SWS; Di, 14:00 - 16:00, WE5/03.004; Einzeltermin am 27.5.2015, 14:00 - 16:00, WE5/05.003; Ersatztermin Mi 27.5.2015. Die Übung findet nach Absprache in den Räumen WE5/03.004 und WE5/03.098 statt.
|
Heußner, A.
|
|
SWT-PR1-M Masterprojekt Softwaretechnik und Programmiersprachen
Ü; 4 SWS; Fr, 8:00 - 12:00, Raum n.V.; Lehrstuhllabor WE5/03.098
|
Lüttgen, G.
|
|
SWT-RPP-M: Selected Readings in Parallel Programming
V; 2 SWS; Mi; Die Lehrveranstaltung Selected Readings in Parallel Programming muss im SoSe 2015 leider entfallen.
|
Heußner, A.
|
|