Il libro è la naturale continuazione di 'Introduzione alla complessità computazionale'. Il libro ...