Schema della sezione
-
Data 11/12/2018 Titolo Triple di Hoare: Sequenze e Aggiornamento Selettivo Argomenti - Sequenze: sintassi e semantica
- Assioma e regola per aggiornamento selettivo
- Esercizi su verifica di triple di Hoare
Materiale didattico - [LdH], fino a pag 30
Lucidi LPP-2018-17.pdf