Navigazione di Sezione:
Logica Per La Programmazione E La Dimostrazione Automatica 2012/2013
Insegnamento:
Nome del Corso | Settore | Crediti | Docente |
---|---|---|---|
Logica Per La Programmazione E La Dimostrazione Automatica | ING-INF/05 | 6 CFU | Fabio Massimo Zanzotto |
Moduli del Corso:
- Nessun Modulo attualmente Presente.