de | en

Functional Programming and Verification, Exercise Session (IN0003)
Übungen zu Funktionale Programmierung und Verifikation (IN0003)

Course 0000004158 in WS 2019/20

General Data

Course Type exercise
Semester Weekly Hours 2 SWS
Organisational Unit Informatics 21 - Chair of Logik und Verifikation (Prof. Nipkow)
Lecturers Kevin Kappelmann
Jonas Rädle
Lukas Stevens
Responsible/Coordination: Tobias Nipkow
Dates 218 dates in groups

Assignment to Modules

Further Information

Courses are together with exams the building blocks for modules. Please keep in mind that information on the contents, learning outcomes and, especially examination conditions are given on the module level only – see section "Assignment to Modules" above.

additional remarks See module description for IN0003
Links Course documents
E-Learning course (e. g. Moodle)
TUMonline entry
Top of page