Course Catalog 2009-2010
Basic

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