Semantics (2007/2008)

Course partially running

Course code
4S00065
Name of lecturer
Andrea Masini
Number of ECTS credits allocated
5
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Location
VERONA
Period
3° Q dal Apr 7, 2008 al Jun 13, 2008.

Lesson timetable

Reference books
Author Title Publisher Year ISBN Note
G. Winskel The formal Semantics of Programming Languages MIT Press 1993