Politecnico di Milano
DEI - Dipartimento di Elettronica, Informazione e Bioingegneria
 
 

Modeling Time in Computing
Course's Temporary Web Site

PhD
Teachers: Carlo Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

Teaching material:

Transparencies of the course

Chapters1-3

Chapters4-6

Theoretical Foundations of  Computer Science

PhD Thesis proposal in the field of Formal Methods