Aula #26

17 dezembro 2018, 10:30 • Carlos Caleiro

Correcção total de programas: asserções de convergência, terminação de programas e expressão variante de um ciclo (NB12). Exame tipo.