Большой англо-русский и русско-английский словарь
постусловие, выходное условие (условие (assertion), выполнение которого должно быть гарантировано при возврате из процедуры в вызывающую программу, если при входе в нее выполнялось предусловие(precondition);
является частью контракта (contract) ) постусловие;
выходное условие
postcondition вчт. постусловие
Новый большой англо-русский словарь
[͵pəʋstkənʹdıʃ(ə)n] n
постусловие; выходное условие
Англо-русский словарь технических терминов
постусловие, выходное условие