Informatica industriale II

 

Materiale didattico

 

(agg.  8/1/10)

 

Appunti del corso redatti da Umberto Monile (riveduti)

 

Collezione di slides su algoritmi distribuiti

 

Collezione di slides su model checking

 

Slides su Automi di Bchi Etichettati & Model Checking LTL

 

Links utili a materiale interessante