confirm upload
cancel upload
Dateiupload ist mittels Drag & Drop in jedes Semester möglich: ______ ______ | .... | | . | | .. | | ... | Dateien ----- Browserfenster | . | | .. | / |______| |______| / | | | | / ---------~ ~--------~ ~---------------------- | | | | | | | ___| |________| |______ ________ | | | _________ _________ _____ __| | | _| |_ _| |_ _| |_ | | \ / \ / . . . \ / | Drag & Drop | \ / \ / \ / | | \/ \/ \/ | | _________ _________ _________ | | | 2021W | | 2020W | | 1995W | | | | | | | | | | | | .. | | ... | . . . | . | | | | .... | | ...... | . . . | ... | | Semester | | .. | | . | . . . | ..... | | | | . | | | . . . | .... | | | | | | | . . . | .... | | | |_________| |_________| |_________| | | | ----------------------------------------------- Verstanden (diese Info nicht mehr anzeigen)

184.741 - Programm- und Systemverifikation (VU 6.0ECTS)

Weissenbacher, Georg
2024S
Weissenbacher, Georg
Rebola Pardo, Adrian
Hader, Thomas

E192 Institut für Logic and Computation
2023S
Weissenbacher, Georg
Rebola Pardo, Adrian

E192 Institut für Logic and Computation
2022S
Weissenbacher, Georg

E192 Institut für Logic and Computation
2021S
Weissenbacher, Georg

E192 Institut für Logic and Computation
2020S
Weissenbacher, Georg

E192 Institut für Logic and Computation
2019S
Widder, Josef
Pagel, Jens
Weissenbacher, Georg

E192 Institut für Logic and Computation
2018S
Widder, Josef
Pagel, Jens
Weissenbacher, Georg

E192 Institut für Logic and Computation
2017S
Zuleger, Florian
Widder, Josef
Kotek, Tomer
Pagel, Jens
Weissenbacher, Georg

E184 Institut für Informationssysteme
2016S
Veith, Helmut
Weissenbacher, Georg
Zuleger, Florian
Widder, Josef
Kotek, Tomer
Tabaei Befrouei, Mitra

E184 Institut für Informationssysteme
2015S
Veith, Helmut
Weissenbacher, Georg
Zuleger, Florian
Konnov, Igor
Pani, Thomas

E184 Institut für Informationssysteme
2014S
Veith, Helmut
Weissenbacher, Georg
Zuleger, Florian
Konnov, Igor
Sinn, Moritz
Widder, Josef
Pani, Thomas

E184 Institut für Informationssysteme
2013S
Veith, Helmut
Weissenbacher, Georg
Zuleger, Florian
Holzer, Andreas
Konnov, Igor
Sinn, Moritz
Widder, Josef

E184 Institut für Informationssysteme