Teaching
back-to-Alberto Pettorossi

=================================================================================
        
BOOKS and ERRATA-CORRIGE OF BOOKS
=================================================================================

2017-18:
  Automatic Software Verification   Automi e Linguaggi (frontale e on-line)
2016-17:
  Automatic Software Verification   Automi e Linguaggi (frontale e on-line)
2015-16:
  Informatica Teorica   Automi e Linguaggi (frontale e on-line)
2014-15:  Informatica Teorica   Automi e Linguaggi (frontale e on-line)
2013-14:  Informatica Teorica    Automi e Linguaggi (frontale e on-line)
2012-13:  Informatica Teorica    Automi e Linguaggi (frontale e on-line)
2011-12:  Informatica Teorica    Automi e Linguaggi (frontale e on-line)
2010-11:  Informatica Teorica    Automi, Linguaggi e Traduttori (frontale e on-line) 
2009-10:  Informatica Teorica    Automi, Linguaggi e Traduttori (frontale e on-line)
2008-09:  Informatica Teorica    Automi, Linguaggi e Traduttori (frontale e on-line)
2007-08:  Informatica Teorica    Automi, Linguaggi e Traduttori (frontale e on-line)
2006-07:  Informatica Teorica    Automi, Linguaggi e Traduttori (frontale e on-line)  
2005-06:  Informatica Teorica    Automi, Linguaggi e Traduttori  
        
Automi, Linguaggi e Traduttori (on-line)
2004-05:  Informatica Teorica    Programmazione Orientata agli Oggetti  (corso bis: J-Z)
        
Concurrent and Distributed Computations     Automi, Linguaggi e Traduttori (on-line)
2003-04:  Informatica Teorica    Programmazione a Oggetti e Concorrente (corsi: A-I e J-Z)
        
Concurrent and Distributed Computations
2002-03:  Informatica Teorica    Algoritmi e Strutture di Dati
2001-02:  Informatica Teorica    Algoritmi e Strutture di Dati
2000-01:  Informatica Teorica    Fondamenti di Informatica 3
         OLD COURSES
=================================================================================
        
DOCTORATE in Computer Science
=================================================================================

        
TOPICS FOR THESES          
        
PROTECTED AREA
 =================================================================================