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
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

3° Q
Giorno Ora Tipo Luogo Note
martedì 9.30 - 11.30 lezione Aula C  
mercoledì 8.30 - 10.30 lezione Aula C  
giovedì 10.30 - 11.30 lezione Aula C  
Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
G. Winskel The formal Semantics of Programming Languages MIT Press 1993

Materiale didattico

Documenti