1. Modelli e loro proprietà 2. Computabilità 3. Complessità 4. Semantica formale 5. Specifica e analisi di programmi e sistemi
Esercizi di Informatica Teorica - terza edizione
LAVAZZA, LUIGI ANTONIO;SPOLETINI, PAOLA
2005-01-01
Abstract
1. Modelli e loro proprietà 2. Computabilità 3. Complessità 4. Semantica formale 5. Specifica e analisi di programmi e sistemi
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
