Introdução à Lógica e Verificação de Programas

UNIVERSIDADE DE SÃO PAULO

Dar ao aluno o primeiro contato com métodos formais. Introduzir conceitos básicos para a verificação...

Você precisa estar logado para ver os materiais dessa disciplina

Esse site usa serviços que usam cookies para entregar uma melhor experiência e analisar o tráfego. Você pode aprender mais sobre os serviços que usamos em nossa política de privacidade.