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 |
