Opetusohjelma
2011–2012
Arkistoitu opetusohjelma 2011–2012
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
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
Tietojenkäsittelyoppi
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