Categoria:Semântica formal
Origem: Wikipédia, a enciclopédia livre.
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.
Artigos na categoria "Semântica formal"
Há 7 artigos nesta categoria.
S |
S (continuação) |
S (continuação) |