Trigésima terceira aula
12 dezembro 2006, 08:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Demonstração da correcção parcial de um exemplo simples (algoritmo do cálculo do factorial)
12 dezembro 2006, 08:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Demonstração da correcção parcial de um exemplo simples (algoritmo do cálculo do factorial)