Spesifioinnin ja verifioinnin perusteet
Lectures
| Time | Room | Lecturer | Date |
|---|---|---|---|
| Mon 10-12 | D122 | Matti Luukkainen | 16.01.2006-22.02.2006 |
| Wed 10-12 | D122 | Matti Luukkainen | 16.01.2006-22.02.2006 |
Exercise groups
| Time | Room | Instructor | Date | Observe |
|---|---|---|---|---|
| Wed 14-16 | C221 | Päivi Kuuppelomäki | 23.01.2006-24.02.2006 |
| Time | Room | Instructor | Date | Observe |
|---|---|---|---|---|
| Fri 10-12 | B119 | Päivi Kuuppelomäki | 23.01.2006-24.02.2006 |
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
