Semantica (2003/2004)

Corso a esaurimento

Codice insegnamento
4S00065
Docente
Ugo Solitro
crediti
5
Altri corsi di studio in cui è offerto
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
3° Q dal 5-apr-2004 al 11-giu-2004.
Pagina Web
https://amarena.sci.univr.it/edu/pub/bscw.cgi/0/1597170

Orario lezioni

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
G. Winskel The formal Semantics of Programming Languages MIT Press 1993

Materiale didattico

Documenti

Condividi