bn:21706407n
Noun Concept
Categories: Semântica formal, Métodos formais
PT
semântica formal
PT
Semântica formal é a área de estudo de ciência da computação que se preocupa em especificar o significado de programas de computador e partes de hardware. Wikipedia
English:
computer science
Definitions
Relations
Sources
PT
Semântica formal é a área de estudo de ciência da computação que se preocupa em especificar o significado de programas de computador e partes de hardware. Wikipedia
Wikipedia
Wikidata