Data di Pubblicazione:
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
Tipologia CRIS:
Monografia o trattato scientifico
Keywords:
Informatica teorica
Elenco autori:
Mandrioli, D.; Lavazza, LUIGI ANTONIO; Morzenti, A.; San Pietro, P.; Spoletini, Paola
Link alla scheda completa: