Course Catalog 2009-2010
International
Basic
Pori
International
Postgraduate
Open University
|Degrees|
|Study blocks|
|Courses|
Course Catalog 2009-2010
OHJ-2506 Program Verification, 5 cr
Program Verification
Implementation 1
Implementation 1
Lecture times and places:
Periods 3 3 - 4
Person responsible:
Antero Kangas
Assessment scale:
Numerical evaluation scale (1-5) will be used on the course