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