Semana 5

31 Outubro 2018, 13:00 Rui Oliveira

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.