Ir para o conteúdo principal
Paca
  • Página inicial
  • Mais
Português - Brasil ‎(pt_br)‎
English ‎(en)‎ Português - Brasil ‎(pt_br)‎
Você acessou como visitante
Acessar
Página inicial
  1. Semestres anteriores
  2. Sumário

Informações do curso

MAC5732 Introdução à Verificação de Programas

Verificação Formal

  • Professor: Ana Cristina Vieira de Melo

Você acessou como visitante (Acessar)
Resumo de retenção de dados
Baixar o aplicativo móvel.
Fornecido por Moodle