Analisi e verifica automatica di sistemi (2003/2004)

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° Q dal 12-gen-2004 al 12-mar-2004.
Pagina Web
http://profs.sci.univr.it/~giaco/mf.html

Orario lezioni

Materiale didattico

Documenti