Cálculo de Programas
Hot Links

Material/sites relacionados com a atividade de calculo de programas:

• Program Development by Stepwise Refinement, by Niklaus Wirth
• Refinement Calculus Tutorial, by Michael Butler
• The Refinement Calculator

Objetivos | Professor... | Visão Geral do Curso | Livro Texto | Conjuntos de Artigos | Avaliação | Programação de Aulas | Referências | Turma 2/96