http://www.dis.uniroma1.it/~cadoli/didattica/metodi-formali-ing-sw/
Corso di Laurea in Ingegneria Informatica
--
Università di Roma "La Sapienza"
Home page del Corso di
Metodi Formali nell'Ingegneria del Software
Nuovo Ordinamento
Docente
:
Prof. Marco Cadoli
.
Orario ricevimento studenti ed eventuali avvisi (ultimo aggiornamento )
.
Informazioni amministrative
:
a chi è rivolto il corso, prerequisiti, obiettivi, programma, modalità d'esame.
Materiale didattico
:
Dispense del corso
.
Elenco delle dispense
.
Errata corrige (ultimo aggiornamento )
.
Lucidi del corso
.
Elenco dei lucidi
.
Immagini
Codice sorgente
.
Appelli d'esame
:
Date degli scritti e degli orali degli appelli per il corrente anno accademico (ultimo aggiornamento )
.
Prenotazione (via WWW) al prossimo appello d'esame
.
Prenotarsi seguendo i link (1) Informatica (2) Metodi Formali nell'Ingegneria del software
.
Ultimo aggiornamento di questo file: Thu Jul 13 16:53:40 CEST 2006