Spesifioinnin ja verifioinnin perusteet
Lectures
| Time | Room | Lecturer | Date |
|---|---|---|---|
| Wed 12-14 | D122 | Timo Karvi | 14.01.2009-20.02.2009 |
| Fri 12-14 | D122 | Päivi Kuuppelomäki | 14.01.2009-20.02.2009 |
Exercise groups
| Time | Room | Instructor | Date | Observe |
|---|---|---|---|---|
| Fri 10-12 | C221 | Päivi Kuuppelomäki | 12.01.2009-20.02.2009 |
Address: Department of Computer Science, P.O. 68 (Gustaf Hällströmin katu 2b), FI-00014 UNIVERSITY OF HELSINKI, FINLAND
Opening Hours: During spring and autumn semesters Mon - Fri 7.45 - 19.45 (7.45 am - 7.45 pm)
Phone: +358 9 1911 (University switch)
General e-mail: info [at] cs.helsinki.fi
Fax: +358 9 1915 1120
