bn:01067508n
Noun Concept
Categories: Méthode formelle
FR
logique de Hoare  triplet de Hoare
FR
La logique de Hoare, parfois appelée logique de Floyd-Hoare, est une méthode formelle définie par le chercheur en informatique britannique Tony Hoare dans un article de 1969 intitulé An Axiomatic Basis for Computer Programming. Wikipedia
Definitions
Relations
Sources
FR
La logique de Hoare, parfois appelée logique de Floyd-Hoare, est une méthode formelle définie par le chercheur en informatique britannique Tony Hoare dans un article de 1969 intitulé An Axiomatic Basis for Computer Programming. Wikipedia
Wikipedia
Wikidata
OmegaWiki
Wikipedia Redirections
Wikipedia Translations