Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02918442n
Noun Concept
Categories: Ciência da computação, Lógica
PT
corretude  a correção do programa
PT
Na Ciência da computação teórica, a corretude de um algoritmo pode ser afirmada quando se diz que o algoritmo é correto com respeito à determinada especificação. Wikipedia
Portuguese:
lógica
Definitions
Relations
Sources
PT
Na Ciência da computação teórica, a corretude de um algoritmo pode ser afirmada quando se diz que o algoritmo é correto com respeito à determinada especificação. Wikipedia
HAS KIND
EN
compiler correctness
Thread safety
FACET OF
informática
Wikipedia
PT
corretude (lógica)
Wikidata
PT
corretude
Wikipedia Translations
PT
a correção do programa

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License