Department of Information and Computing Sciences

Departement Informatica Onderwijs
Bachelor Informatica Informatiekunde Kunstmatige intelligentie Master Computing Science Game&Media Technology Artifical Intelligence Human Computer Interaction Business Informatics

Onderwijs Informatica en Informatiekunde

Vak-informatie Informatica en Informatiekunde

Program semantics and verification

Website:website containing additional information
Course code:INFOMPSV
Credits:7.5 ECTS
Period:period 1 (week 36 through 45, i.e., 6-9-2021 through 12-11-2021; retake week 1)
Participants:up till now 19 subscriptions
Description:Official course description can be found in Osiris
Schedule:Official course schedule can be found in MyTimetable
lecture          Wishnu Prasetya
Anna-Lena Lamprecht