Somos PUC Minas

Última atualização do sistema: 02.07.2026

Especialidade: Lógicas e Semântica de Programas Apresentada por 7 professores

Grande área: Ciências Exatas e da Terra
Área: Ciência da Computação
Sub-área: Teoria da Computação
Especialidade: Lógicas e Semântica de Programas

Utilizada por 7 professores Por ordem de relevância (total: 7)

CTIT UFMG