Metodi formali: analisi e verifica del software (2001/2002)

Corso disattivato non visibile

Codice insegnamento
cod wi: 88011-sci
Docente
Roberto Giacobazzi
Unità didattiche
1
Lingua di erogazione
Italiano
Periodo
dal 8-apr-2002 al 7-giu-2002.
Pagina Web
http://profs.sci.univr.it/~giaco/mf.html

Orario lezioni

Materiale didattico

Documenti

Condividi