Programmare a diversi livelli di astrazione Questo testo raccoglie le note del corso di programmazione concorrente e distribuita; non intende in particolare essere un manuale del linguaggio Java nè tantomeno una guida completa ai prinicipi di programmazione concorrente e distribuita. I vari capitoli contengono piuttosto una serie di esempi ed esercizi che illustrano le caratteristiche principali del linguaggio Java (versione 5 e superiori), specialmente nei suoi aspetti avanzati quali il supporto alla programmazione multithreaded e distribuita. Il capitolo finale raccoglie inoltre un elenco di esercizi tratti da appelli d’esame.
SILVIA CRAFA è Ricercatore Universitario presso l’Università di Padova. La sua attività didattica e di ricerca si focalizza sulle tecniche di analisi formale dei linguaggi di programmazione e sulla teoria dei sistemi concorrenti.