FORMAL METHODS (obiettivi)
Codice 1038133
Lingua ENG
Tipo di attestato Attestato di profitto
Crediti
Settore scientifico disciplinare ING-INF/05 
Ore Aula 36 
Ore Esercitazioni 24 
Ore Studio
Attività formativa Attività formative affini ed integrative 
Canale Unico
Mutua da 1038133 FORMAL METHODS in Engineering in Computer Science - Ingegneria Informatica LM-32 NESSUNA CANALIZZAZIONE DE GIACOMO GIUSEPPE
(programma)  
Date di inizio e termine delle attività didattiche  - 
Date degli appelli Date degli appelli d'esame
Modalità di erogazione Tradizionale
Modalità di frequenza Non obbligatoria
Metodi di valutazione Prova scritta