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
Sede
VERONA
Periodo
dal 13-gen-2003 al 14-mar-2003.
Pagina Web
http://profs.sci.univr.it/~giaco/mf.html

Orario lezioni

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

Condividi