LV-kurz

Informationssystem der Universität Kiel

Semester: SS 2024

Exercise: Introduction to Formal Software Analysis (Ü Inf-GSoZu) (080045)
Dozent/in: Prof. Dr. Dirk Nowotka
Angaben: Übung, 2 SWS
Unterrichtssprache Englisch
Zeit und Ort: Di 8:30 - 10:00, CAP4 - R.13.1304 a
vom 23.4.2024 bis zum 14.7.2024
Zusätzliche Informationen: Erwartete Teilnehmerzahl: 25
Zugeordnet zu: Inf-GSoZu: Introduction to Formal Software Analysis (080040)

UnivIS ist ein Produkt der Config eG, Röttenbach