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

Giorno Ora Tipo Luogo Note
lunedì 9.00 - 11.00 lezione Aula B  
mercoledì 11.00 - 13.00 lezione Aula B  
venerdì 11.00 - 13.00 lezione Aula H  

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 2001/2002 non sono ancora disponibili