Schema della sezione
-
- Sequenze: sintassi e semantica
- Assioma e regola per aggiornamento selettivo
- Esercizi su verifica di triple di Hoare
Dispense: [LdH], fino a pag 30.
- Sequenze: sintassi e semantica
Dispense: [LdH], fino a pag 30.