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
Period
3° Q dal Apr 7, 2008 al Jun 13, 2008.

Lesson timetable

3° Q
Day Time Type Place Note
Wednesday 8:30 AM - 11:30 AM lesson Lecture Hall E  
Friday 11:30 AM - 1:30 PM lesson Lecture Hall B  
Reference books
Author Title Publisher Year ISBN Note
G. Winskel The formal Semantics of Programming Languages MIT Press 1993