Analisi e verifica automatica di sistemi (2002/2003)

  1. Home
  2. Didattica
  3. Corsi di laurea magistrale / specialistica (a esaurimento / disattivati)
  4. Laurea specialistica in Informatica
  5. Insegnamenti

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
2° dal 13-gen-2003 al 14-mar-2003.
Pagina Web
http://profs.sci.univr.it/~giaco/mf.html
Avvisi relativi al corso Seminari relativi al corso

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