Teaching Schedule
2011–2012
Archived teaching schedules 2011–2012
You are browsing archived teaching schedule. Current teaching schedules can be found here.
TKOPS148
Introduction to formal specification (Period II)
5–8
ECTS
Periods
Language of instruction
English
Type or level of studies
Advanced studies
Course unit descriptions in the curriculum
- TKOPS148 Introduction to Formal Specification
Computer Science
School of Information Sciences
School of Information Sciences
Teachers
Jyrki Nummenmaa, Teacher responsible
Homepage URL
Teaching
3-Nov-2011
–
16-Dec-2011
Lectures
Thu 3-Nov-2011 - 8-Dec-2011 weekly at 12-14, A1078
Tue 8-Nov-2011 - 13-Dec-2011 weekly at 14-16, Pinni B3109
Tutorials