Semantics (2003/2004)

  1. Home
  2. Teaching
  3. Master’s degrees (no longer running)
  4. Masters in Computer Science
  5. Insegnamenti

Course partially running

Course code
4S00065
Name of lecturer
Ugo Solitro
Number of ECTS credits allocated
5
Other available courses
Language of instruction
Italian
Location
VERONA
Period
Third four-month term dal Apr 5, 2004 al Jun 11, 2004.
Web page
https://amarena.sci.univr.it/edu/pub/bscw.cgi/0/1597170
Course news Seminars related to the course

Lesson timetable

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

Teaching aids

Documents

Share