Automaattinen verifiointi
Lectures
| Time | Room | Lecturer | Date |
|---|---|---|---|
| Wed 16-18 | C454 | Opetusohjelman suunnittelija | 27.02.2002-08.05.2002 |
| Thu 16-18 | C454 | Opetusohjelman suunnittelija | 27.02.2002-08.05.2002 |
Exercise groups
| Time | Room | Instructor | Date | Observe |
|---|---|---|---|---|
| Thu 14-16 | C454 | Opetusohjelman suunnittelija | 07.03.2002-10.05.2002 |
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
