Università degli Studi di Parma

il mondo che ti aspetta
  • english version

menu

ATENEO DI QUALITÀ ACCREDITATO ANVUR - FASCIA A

FORMAL SPECIFICATION AND VERIFICATION SOFTWARE SYSTEMS

ANNO ACCADEMICO2020/2021
COD. 1009448
INSEGNAMENTO DEL CORSO DI Laurea triennale (DM270) ININFORMATICA
TIPOLOGIA INSEGNAMENTO: Caratterizzante
DOCENTI: 
CRISTIA' MAXIMILIANO
ANNO ACCADEMICO: 2020/2021
Anno di corso: 3
SEMESTRE: Primo Semestre
NUMERO CFU: 6
RESPONSABILE DELLA DIDATTICA: CRISTIA' MAXIMILIANO
SSD: INFORMATICA (INF/01)
AMBITO: Discipline Informatiche
ORE DI ATTIVITA FRONTALE: 48
ORE DI STUDIO INDIVIDUALE: 102