Skip to content

Releases: knowsys/FormaleSysteme

Wintersemester 2023/2024

07 Apr 06:07
@mkroetzsch mkroetzsch
wise2324
1a88f8f
Compare
Choose a tag to compare
Wintersemester 2023/2024 Latest
Latest

Diese Version der Folien wurde im Winter 2023/2024 präsentiert. Die zugehörige Vorlesungswebseite ist unter https://iccl.inf.tu-dresden.de/web/FS2023 zu finden.

Assets 2

Wintersemester 2020/2021

08 Oct 14:26
@mkroetzsch mkroetzsch
wise2021
b00f5e2
Compare
Choose a tag to compare
Wintersemester 2020/2021

Diese Version der Folien wurde im Winter 2020/2021 präsentiert. Die zugehörige Vorlesungswebseite ist unter https://iccl.inf.tu-dresden.de/web/FS2020 zu finden. In diesem Semester wurden Videoaufnahmen aller Vorlesungen veröffentlicht.

Assets 2

Wintersemester 2016/2017

06 Oct 14:29
@mkroetzsch mkroetzsch
wise1617
c4c4836
Compare
Choose a tag to compare
Wintersemester 2016/2017

Diese Version der Folien wurde im Winter 2016/2017 präsentiert. Die zugehörige Vorlesungswebseite ist unter https://iccl.inf.tu-dresden.de/web/FS2016 zu finden.

Assets 2