Course unit, curriculum year 2023–2024
COMP.CS.420
Introduction to Formal Specification, 5 cr
Tampere University
- Description
- Completion options
- Completion option 1
To pass the course, one has to gain sufficient number of points from the on-line exercises and to pass an exam.
Completion of all options is required.
Introduction to Formal Specification (Participation in teaching), English
Introduction to Formal Specification (Exam), English
Type
ExamLanguage of instruction
EnglishCredits
5 crGrading scale
General scale, 0-5Responsible organisation
Faculty of Information Technology and Communication Sciences 100 %
Coordinating organisation
Computing Sciences Studies 100 %
Scheduled teaching
Course unit realisation
Introduction to Formal Specification, Exam
Exam
12.12.2023 – 12.12.2023
Active in period 2 (23.10.2023–31.12.2023)
Course unit realisation
Introduction to Formal Specification, Exam
Exam
24.1.2024 – 24.1.2024
Active in period 3 (1.1.2024–3.3.2024)
Keskusta 24.1.2024 klo 17.00-20.00
Keskusta 24.1.2024 klo 17.00-20.00Location
Keskusta 24.1.2024 klo 17.00-20.00
Location
We 24.1.2024
Past event
17:00–20:00
3 hours
Course unit realisation
Introduction to Formal Specification, Exam
Exam
29.2.2024 – 29.2.2024
Active in period 3 (1.1.2024–3.3.2024)