Arkiv
FDD3023 Interaktiv teorembevisning och programverifiering 7,5 hp
Kursplaner
| Termin | Kursplan |
|---|---|
| VT 2020 – tillsvidare | Kursplan FDD3023 ( VT 2020 - ) |
Kurs-PM
Denna kurs har inga publicerade kurs-PM.
Kursanalyser
Kursanalyserna har flyttat!
Från läsperiod 3 i VT25 publiceras kursanalyser i kursrummet i Canvas. Användare med behörighet till kursrummet hittar kursanalysen under fliken “Course evaluation”.
Lärplattform (Canvas)Tidigare publicerade kursanalyser listas nedan.
| Termin | Kursomgång | Kursanalys |
|---|---|---|
| VT 2020 | Spring 2020-2 ( Start date 16/03/2020, English ) | Kursanalys FDD3023: 2020-08-28 |