Formal Methods for Industrial Software Systems
7,5 credits, course, master's level, D7063E
Closed
For Programme students
LTU-27039
Closed
Formal Methods for Industrial Software Systems
Period 2 - 2, v. 44 2023 - v. 2 2024, no module, LuleåNormal teachingDay-time 50%Autumn 2023
Optional course within programmes. Can be applied for within the optional space of a programme.
Application for Freestanding course (En)
LTU-27039
Closed
Formal Methods for Industrial Software Systems
Period 2 - 2, v. 44 2023 - v. 2 2024, no module, LuleåNormal teachingDay-time 50%Autumn 2023
Only a few freestanding places are available. This course is part of a programme.
Application for Exchange students at LTU
LTU-27039
Closed
Formal Methods for Industrial Software Systems
Period 2 - 2, v. 44 2023 - v. 2 2024, no module, LuleåNormal teachingDay-time 50%Autumn 2023
Course offered in English to prospective exchange student, nominated for exchange by home university.
7,5 credits, course, master's level, D7063E
Closed
For Programme students
LTU-27039
Closed
Formal Methods for Industrial Software Systems
Period 2 - 2, v. 44 2023 - v. 2 2024, no module, LuleåNormal teachingDay-time 50%Autumn 2023
Optional course within programmes. Can be applied for within the optional space of a programme.
Application for Freestanding course (En)
LTU-27039
Closed
Formal Methods for Industrial Software Systems
Period 2 - 2, v. 44 2023 - v. 2 2024, no module, LuleåNormal teachingDay-time 50%Autumn 2023
Only a few freestanding places are available. This course is part of a programme.
Application for Exchange students at LTU
LTU-27039
Closed
Formal Methods for Industrial Software Systems
Period 2 - 2, v. 44 2023 - v. 2 2024, no module, LuleåNormal teachingDay-time 50%Autumn 2023
Course offered in English to prospective exchange student, nominated for exchange by home university.
Kontakt
Tatiana Liakh
- Lecturer
- 0920-491698
- tatiana.liakh@ltu.se
- Tatiana Liakh
Updated: