semana 5

4 Novembro 2021, 11:00 • António Manuel Horta Branco

Cap. 4.1 Functions and scoping
Cap. 4.2 Specifications
Funções. Âmbito de variáveis. Especificação e programação por contrato. Decomposição e abstração.