>   Dipartimento di Informatica   >   Toni Mancini
[login|nuovo account]      [Italiano|English]

Laurea Specialistica in Ingegneria Informatica, Corso di

Metodi Formali nell'Ingegneria del Software

Edizione dell'a.a. 2007/08


  • Prerequisiti ed obiettivi
  • Programma del corso
  • Calendario delle lezioni
  • Materiale didattico
  • Regole, modalità e tipologia dell'esame
  • Progetti svolti dagli studenti
  • Alcune idee di progetto
  • Calendario degli appelli


  • E' possibile spedire un commento anonimo al docente: clicca qui.

    Mailing list

    E' possibile iscriversi alla mailing list del corso per ricevere notizie dell'ultimo minuto su lezioni, esami, seminari e altro di interesse per gli studenti.

    Per iscriversi, spedire un'email a: mfis-inginf-uniroma1-subscribe@googlegroups.com.



    [This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]