Parceria entre o DCC/UFMG e a Cadence Brasil proporciona nova disciplina optativa para os alunos da universidade
O Departamento de Ciência da Computação (DCC) da UFMG, em parceria com a Cadence Brasil, ofereceu, no segundo semestre de 2024, a disciplina optativa “Verificação formal de hardware”. Valendo dois créditos e com um total de 30 horas, foi aberta aos alunos dos cursos de Ciência da Computação, Sistemas de Informação, Ciência de Dados e […]
O Departamento de Ciência da Computação (DCC) da UFMG, em parceria com a Cadence Brasil, ofereceu, no segundo semestre de 2024, a disciplina optativa “Verificação formal de hardware”. Valendo dois créditos e com um total de 30 horas, foi aberta aos alunos dos cursos de Ciência da Computação, Sistemas de Informação, Ciência de Dados e