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 |