bn:01067508n
Noun Concept
Categories: Ciência da computação
PT
Lógica de Hoare
PT
Lógica de Hoare é um sistema formal com um conjunto de regras lógicas para um raciocínio rigoroso sobre a corretude na computação. Wikipedia
Definitions
Relations
Sources
PT
Lógica de Hoare é um sistema formal com um conjunto de regras lógicas para um raciocínio rigoroso sobre a corretude na computação. Wikipedia
Wikipedia
Wikidata
Wikipedia Translations