function preconditions
| and
| postconditions
| function precondition | |
| progr. | предусловие функции |
| and | |
| gen. | и; а |
| postcondition | |
| automat. | пост-условие |
| oil | выходное условие |
| progr. | условие, истинное после выполнения оператора |
| tech. | постусловие |
| |||
| предусловие функции (специальное условие, которые проверяется при вызове (входе в) функцию Alex_Odeychuk) | |||
|
function preconditions : 6 phrases in 1 subject |
| Programming | 6 |