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

Avvisi
11/10/2019Eventi interessanti: Lunedì 14 ottobre 2019 Jill Morris, Ambasciatore UK in Italia sarà ospite del nostro dipartimento con una tavola rotonda su Cyber Diplomacy. Dettagli disponibili qui !. Gli studenti sono cordialmente invitati a partecipare!
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]