- Engenharia de SoftwareTestes
- Fundamentos de ProgramaçãoLógica de Programação
- Qualidade de SoftwareVerificação e Validação (V&V)
Dois algoritmos que sejam diferentes em estrutura, mas idênticos em comportamento, porque produzem os mesmos resultados em todos os casos possíveis, são denominados
Provas
Questão presente nas seguintes provas
