Logique de Hoare
concept
formalisme logique permettant de raisonner sur la correction des programmes informatiques
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Logique_de_Hoare
Lien Wikidata : https://www.wikidata.org/wiki/Q1375924
concept
formalisme logique permettant de raisonner sur la correction des programmes informatiques
Lien Wikipedia : https://fr.wikipedia.org/wiki/Logique_de_Hoare
Lien Wikidata : https://www.wikidata.org/wiki/Q1375924