Spesifioinnin ja verifioinnin perusteet
Lectures
| Time | Room | Lecturer | Date |
|---|---|---|---|
| Mon 12-14 | C222 | Timo Karvi | 02.11.2009-09.12.2009 |
| Wed 10-12 | C222 | Timo Karvi | 02.11.2009-09.12.2009 |
Ilmoittautuminen tälle kurssille alkaa tiistaina 13.10. klo 9.00.
Kurssin harjoitukset alkavat jo ensimmäisellä luentoviikolla.
Exercise groups
| Time | Room | Instructor | Date | Observe |
|---|---|---|---|---|
| Wed 12-14 | CK111 | Harri Forsgren | 02.11.2009-11.12.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
