Verifica Processi Concorrenti 12-13

Corso di verifica dei sistemi, con particolare attenzione alla verifica via modellazione e alle tecniche di model-checking

Reti II 2012-13

Reti di Elaboratori 2 (RdE II) è un corso sui protocolli applicativi di Internet, ma anche su argomenti di internetworking che costituiscono un secondo corso rispetto a Reti di Elaboratori 1 (RdE) della laurea triennale di Sistemi e Reti.