IKT617 Formal Descriptions and Related Tools (Autumn 2025)
- ECTS Credits:
- 5
- Responsible department:
- Faculty of Engineering and Science
- Course Leader:
- Andreas Prinz
- Lecture Semester:
- Autumn
- Teaching language:
- English
- Duration:
- ½ year
Table of contents
The course is connected to the following study programs
Teaching language
English
Offered as a free-standing course
Yes. Subject to availability or capacity.
Last updated from FS (Felles studentsystem)
Oct. 15, 2026 6:31:58 PM