Automaattinen verifiointi
Lectures
Time | Room | Lecturer | Date |
---|---|---|---|
Tue 16-18 | C454 | Opetusohjelman suunnittelija | 06.03.2001-08.05.2001 |
Thu 16-18 | C454 | Opetusohjelman suunnittelija | 06.03.2001-08.05.2001 |
Exercise groups
Time | Room | Instructor | Date | Observe |
---|---|---|---|---|
Tue 18-20 | C454 | Opetusohjelman suunnittelija | 12.03.2001—11.05.2001 |