B024330 - FORMAL METHODS FOR SYSTEMS SPECIFICATION AND ANALYSIS

Principali informazioni

Anno Accademico 2016-17

Anno di corso

Primo Anno -

Dipartimento di Afferenza

Ingegneria dell'Informazione

Tipo insegnamento

Attività formativa monodisciplinare

Settore Scientifico disciplinare

INF/01 - INFORMATICA

Crediti Formativi

Ore Didattica

Periodo didattico

⇒

Frequenza Obbligatoria

Tipo Valutazione

Voto Finale

Docenza