Module details

M1102-DSE28-2020  Foundations of Certified Programming Languages and Compiler Design

Module Owner: Prof. Dr.-Ing. Jerónimo Castrillón Mazo
Displayed in timetable as: INF-DSE-20-E-CPLCD
Duration: 1
Number of electives: 0
Credits: 6,0
Start Semester: WiSe 2022/23

Registration periods

Phase Block Register from | to End cancellation
Ohne Auswahlverfahren Vorlesungszeit 04.10.2022 00:00 | 15.12.2022 00:00 02.02.2023 00:00

Courses
Number Name Semester  
K1102-MA0040V Foundations of Certified Programming Languages and Compiler Design (L) 1  
K1102-MA0040V Foundations of Certified Programming Languages and Compiler Design (L) WiSe 2022/23
K1102-MA0040Ü Foundations of Certified Programming Languages and Compiler Design (E) 1  
K1102-MA0040Ü Foundations of Certified Programming Languages and Compiler Design (E) WiSe 2022/23

Requirements
Course / Final module requirements Requirements Compulsory pass Weighting
Final module requirements Oral Assessment Foundations of Certified Programming Languages and Compiler Design Yes 1