Practical Course - Specification und Verification (IN2106, IN4035)
Master-Praktikum - Spezifikation und Verifikation (IN2106, IN4035)
Course 0000002014 in SS 2016
General Data
Course Type | practical training |
---|---|
Semester Weekly Hours | 6 SWS |
Organisational Unit | Informatics 21 - Chair of Logic and Verification (Prof. Nipkow) |
Lecturers | |
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 | see description module IN2106 and webpage |
---|---|
Links |
Course documents TUMonline entry |