Spesifioinnin ja verifioinnin perusteet
Lectures
| Time | Room | Lecturer | Date |
|---|---|---|---|
| Wed 10-12 | D122 | Päivi Kuuppelomäki | 16.01.2008-22.02.2008 |
| Fri 12-14 | D122 | Päivi Kuuppelomäki | 16.01.2008-22.02.2008 |
Huom! Harjoitukset alkavat jo ensimmäisellä luentoviikolla.
Exercise groups
| Time | Room | Instructor | Date | Observe |
|---|---|---|---|---|
| Fri 10-12 | B119 | Päivi Kuuppelomäki | 14.01.2008-22.02.2008 |
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
