Program Semantics and Analysis, semant09
DD2457 Program Semantics and Analysis
Latest News
- The exams have been graded and deposited at the CSC student expedition in the E-house.
- Here are the solutions to the exam of 14 December 2009.
- The intended learning outcomes have been classified by grade (see Examination).
- Here is the course schedule and a course outline.
Course Board (sv. Kursnämnd)
A c
ourse board is a formal way for students to influence the
content
and form of the education. It is formed at the beginning of the course.
Course Evaluation and Analysis
A
course
evaluation is performed after the course to give input
for
improvements for later versions of the course.
semant09