terça-feira, 6 de novembro de 2012

Verificação de Programas

A aula de hoje foi minha última aula de Lógica para Computação no 1o. semestre (letivo) de 2012. Foi sobre Verificação de Programas. Os slides usados estão abaixo:




Verificação de Programas from Adolfo Neto


Além de apresentar os slides, gosto de, durante a aula, mostrar páginas relacionadas ao tema, para ilustrar o assunto.

Alguns dos links foram: