[ Home ] [ Curriculum Vitae ] [ Publications ] [ Teaching ]

Didattica

       Corso di Linguaggi di Programmazione

           Dispense Integrative:

                Pumping Lemma

                   Semantica Assiomatica

                   Scope, Memoria e Tabella dei Simboli

           Testi d'Esame