Department of Computer Science [pre 2018 site]
This site will stay around for the foreseeable future for archival purposes.
University of Helsinki
Faculty of Science
Suomi
English
Home
Research
Studies
Prospective Students
Alumni
Administration
Computing facilities
People
Contact
Aikalogiikka ja järjestelmien verifiointi
Basic information
Course code:
581255
Credit units:
6
Subprogramme:
Software Systems
Level:
Advanced studies
Description:
Year
Semester
Date
Period
Language
In charge
1997
autumn
-
10.10
.
Finnish
