Practical Course - Spezifikation und Verifikation (IN0012, IN2106, IN4035)
Course 0000004097 in SS 2022
General Data
Course Type | practical training |
---|---|
Semester Weekly Hours | 6 SWS |
Organisational Unit | Informatics 21 - Chair of Logic and Verification (Prof. Nipkow) |
Lecturers |
Tobias Nipkow Simon Roßkopf |
Dates |
Assignment to Modules
-
IN2106: Master-Praktikum / Advanced Practical Course
This module is included in the following catalogs:- Further Modules from Other Disciplines
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 | |
---|---|
Links | TUMonline entry |