Terms for subject Programming containing постусловие функции

Russian	English
постусловие функции	function postcondition (специальное условие, которые проверяется при выходе из функции Alex_Odeychuk)
предусловия и постусловия функции	function preconditions and postconditions (Alex_Odeychuk)