bild
Skolan för
datavetenskap
och kommunikation
KTH / CSC / Kurser / DD2457 / semant11

Program Semantics and Analysis, semant11

DD2457 Program Semantics and Analysis

Latest News

  • All results are reported now. If you have passed the exam but you don't see your final grade reported, then you (probably) have still some homeworks or lab assignments unfinished.
  • Here are the problems from the exam that took place on 26 May 2011, and here are the preliminary, handwritten solutions.
  • Here is the course schedule and a course outline.
  • The course is administered through the Rapp system. Klick here to log into the system, and here for a manual.

Course Board (sv. Kursnämnd)

A course 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.

Copyright © Sidansvarig: Dilian Gurov <dilian@csc.kth.se>
Uppdaterad 2011-03-11