Publication Date:
2005
abstract:
1. Modelli e loro proprietà
2. Computabilità
3. Complessità
4. Semantica formale
5. Specifica e analisi di programmi e sistemi
2. Computabilità
3. Complessità
4. Semantica formale
5. Specifica e analisi di programmi e sistemi
Iris type:
Monografia o trattato scientifico
Keywords:
Informatica teorica
List of contributors: