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
Type
Participation in teachingLanguage of instruction
EnglishCredits
0 crGrading scale
Pass-FailResponsible organisation
Faculty of Information Technology and Communication Sciences 100 %
Coordinating organisation
Computing Sciences Studies 100 %
Scheduled teaching
Course unit realisation
Introduction to Formal Specification, Lectures
Lectures (English)
24.10.2023 – 8.12.2023
Active in period 2 (23.10.2023–31.12.2023)
Learning environments
Common
Exercise: TutorialTeachersLocation
Exercise: Tutorial
Teachers
Location
Lecture: Lecture 1 / Lecture 2TeachersLocation
Lecture: Lecture 1 / Lecture 2
Teachers
Location