Metodi formali dell'informatica

A.A. 2014/2015
Insegnamento per
6
Crediti massimi
42
Ore totali
Lingua
Italiano

Struttura insegnamento e programma

Edizione attiva
Programma
Il programma è condiviso con i seguenti insegnamenti:
- [F94-121](https://www.unimi.it/it/ugov/of/af2015000f94-121)
Periodo
Primo semestre
Docente/i
Ricevimento:
venerdì alle 11,30
Dipartimento di Matematica, via C. Saldini 50
Ricevimento:
venerdì 14.30--16
4009