Categoria:Semântica formal

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

Esta categoria contém artigos de Semântica formal.

Semântica formal é uma área de ciência da computação que preocupa-se com o comportamento dos programas de computador.

Páginas na categoria "Semântica formal"

Esta categoria contém as seguintes 7 páginas (de um total de 7).