Schema della sezione

◄05/12/2018: Esercitazione su Triple di Hoare
►12/12/2018: Triple di Hoare: Sequenze (Array) e Aggiornamento Selettivo

    • Triple di Hoare: Regola per il Comando Iterativo; 
    • Invarianti;
    • Esempi.

    Dispense: [LdH], fino a pag 27.

◄05/12/2018: Esercitazione su Triple di Hoare
►12/12/2018: Triple di Hoare: Sequenze (Array) e Aggiornamento Selettivo