1) [nom] Condition appliquée à la fin d’un calcul et permettant de valider le résultat d’une fonction mathématique. 2) En programmation, propriété attachée à une fonction et vérifiée à la fin de l’exécution de cette fonction. Trouvé sur https://fr.wiktionary.org/wiki/postcondition
Aucun résultat n’a été trouvé dans l’encyclopédie.
1) [nom] Condition appliquée à la fin d’un calcul et permettant de valider le résultat d’une fonction mathématique. 2) En programmation, propriété attachée à une fonction et vérifiée à la fin de l’exécution de cette fonction.