Sumários
Prática #11
17 dezembro 2009, 11:00 • Carlos Caleiro
Lógica de correcção de programas: correcção parcial ( notebook11).
Prática #11
15 dezembro 2009, 11:00 • Carlos Caleiro
Lógica de correcção de programas: correcção parcial ( notebook11).
Teórica #23
14 dezembro 2009, 11:00 • Carlos Caleiro
Lógica de correcção de programas, correcção parcial e total: exemplos de aplicação (aulaT15.nb).