Analisi e verifica automatica di sistemi (2002/2003)

Corso a esaurimento

Codice insegnamento
4S00051
Docente
Roberto Giacobazzi
crediti
5
Altri corsi di studio in cui è offerto
Lingua di erogazione
Italiano
Periodo
dal 13-gen-2003 al 14-mar-2003.
Pagina Web
http://profs.sci.univr.it/~giaco/mf.html

Orario lezioni

Giorno Ora Tipo Luogo Note
lunedì 10.30 - 12.30 lezione Aula M  
mercoledì 8.30 - 10.30 lezione Aula M  
giovedì 12.30 - 13.30 lezione Aula L  
Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Renzo Costi Il mercato mobiliare (Edizione 2) Giappichelli, Torino 2000
Davey and Priestley Introduction to Lattices and Order Cambridge 1992
F. Nielson, H. R. Nielson and C. Hankin Principles of Program Analysis Springer-Verlag 1999
G. Winskel The formal Semantics of Programming Languages MIT Press 1993

Materiale didattico

Documenti

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

I dati relativi all'AA 2002/2003 non sono ancora disponibili