Semantics (2006/2007)

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
2nd quadrimester dal Jan 8, 2007 al Mar 9, 2007.

Lesson timetable

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