This page in EN

Veranstaltung

Entscheidungsverfahren mit Anwendungen in der Softwareverifikation [WS192400073]

Typ

Vorlesung / Übung (VÜ)

Semester

WS 19/20

SWS

3

Sprache

Deutsch

Termine

30

Links

ILIAS

Dozent/en

Einrichtung

ITI Sinz

Bestandteil von

Teilleistung Entscheidungsverfahren mit Anwendungen in der Softwareverifikation | Wirtschaftsinformatik (M.Sc.)

Veranstaltungstermine

15.10.2019 11:30 - 13:00 - Room: 50.34 Raum 236
16.10.2019 15:45 - 17:15 - Room: 50.34 Raum 301
22.10.2019 11:30 - 13:00 - Room: 50.34 Raum 236
23.10.2019 15:45 - 17:15 - Room: 50.34 Raum 301
29.10.2019 11:30 - 13:00 - Room: 50.34 Raum 236
30.10.2019 15:45 - 17:15 - Room: 50.34 Raum 301
05.11.2019 11:30 - 13:00 - Room: 50.34 Raum 236
06.11.2019 15:45 - 17:15 - Room: 50.34 Raum 301
12.11.2019 11:30 - 13:00 - Room: 50.34 Raum 236
13.11.2019 15:45 - 17:15 - Room: 50.34 Raum 301
19.11.2019 11:30 - 13:00 - Room: 50.34 Raum 236
20.11.2019 15:45 - 17:15 - Room: 50.34 Raum 301
26.11.2019 11:30 - 13:00 - Room: 50.34 Raum 236
27.11.2019 15:45 - 17:15 - Room: 50.34 Raum 301
03.12.2019 11:30 - 13:00 - Room: 50.34 Raum 236
04.12.2019 15:45 - 17:15 - Room: 50.34 Raum 301
10.12.2019 11:30 - 13:00 - Room: 50.34 Raum 236
11.12.2019 15:45 - 17:15 - Room: 50.34 Raum 301
17.12.2019 11:30 - 13:00 - Room: 50.34 Raum 236
18.12.2019 15:45 - 17:15 - Room: 50.34 Raum 301
07.01.2020 11:30 - 13:00 - Room: 50.34 Raum 236
08.01.2020 15:45 - 17:15 - Room: 50.34 Raum 301
14.01.2020 11:30 - 13:00 - Room: 50.34 Raum 236
15.01.2020 15:45 - 17:15 - Room: 50.34 Raum 301
21.01.2020 11:30 - 13:00 - Room: 50.34 Raum 236
22.01.2020 15:45 - 17:15 - Room: 50.34 Raum 301
28.01.2020 11:30 - 13:00 - Room: 50.34 Raum 236
29.01.2020 15:45 - 17:15 - Room: 50.34 Raum 301
04.02.2020 11:30 - 13:00 - Room: 50.34 Raum 010
05.02.2020 15:45 - 17:15 - Room: 50.34 Raum 301