Consorzio per la ricerca informatica

Programmazione logica e architetture parallele

Linguaggi per la programmazione concorrente

Semantica denotazionale ed algebrica dei linguaggi di programmazione

ADA: una panoramica

Introduzione al progetto di compilatori

Modelli di calcolo e computabilità

Strutture per la gestione statica e dinamica dei dati

Principi e tecniche di progettazione del software

Validazione, verifica e testing del processo di sviluppo software

Elementi di linguaggi funzionali