x !
Archived teaching schedules 2010–2011
You are browsing archived teaching schedule. Current teaching schedules can be found here.
TKOPS148 Introduction to Formal Specifications 5–8 ECTS
Periods
Period I Period II Period III Period IV
Language of instruction
English
Type or level of studies
Advanced studies
Course unit descriptions in the curriculum
Computer Science
Department of Computer Sciences

Teachers

Jyrki Nummenmaa, Teacher responsible
homepage

Homepage URL

http://www.cs.uta.fi/~jyrki/ifm/

Teaching

Lectures
Fri 29-Oct-2010 - 5-Nov-2010 weekly at 10.15-12.00, Pinni B1084
Mon 1-Nov-2010 - 13-Dec-2010 weekly at 10.15-12.00, Pinni B1084
Fri 12-Nov-2010 - 10-Dec-2010 weekly at 12.15-14.00, Pinni B1084
Exercises
Fri 5-Nov-2010 at 12.15-14.00, Pinni B1084
Fri 12-Nov-2010 - 10-Dec-2010 weekly at 10.15-12.00, Pinni B1084
Department of Computer Sciences
The Course is part of the following teaching schedule
Department of Computer Sciences
Computer Science/Interactive Technology