Semântica Formal
Roberto da Silva Bigonha

 

Referência

R. S. Bigonha, Semântica Formal

Apresentação

Esta disciplina foi oferecida durante anos a alunos da área de Linguagem de Programa dentro do Programa de Pós-Graduação em Ciência da Computação da UFMG.

*****