Somos PUC Minas
PUC Minas
Última atualização do sistema: 04.08.2026
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Métodos Formais
utilizada 11 vezes por 3 professores
Utilizada por 3 professores
Por ordem de relevância (total: 3)
Maria Aparecida Fernandes Almeida
Mark Alan Junho Song
Pedro Felipe Alves de Oliveira
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "Métodos Formais"
Ambientes de Ensino-aprendizagem
Ciências Cognitivas
Engenharia de Programas Educacionais
Engenharia de Software
Hipermídia
Hipertômatos
Inteligência Artificial no Ensino
Modelagem
Modelagem de sistemas
Métodos Formais
Teoria da Computação
Teoria das Categorias
web systems
CTIT UFMG