Somos PUC Minas

Última atualização do sistema: 20.05.2026

Especialidade: Lógicas e Semântica de Programas Apresentada por 5 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 5 professores Por ordem de relevância (total: 5)

CTIT UFMG