 |
function preconditions
| and
| postconditions
| function precondition | |
| прогр. | предусловие функции |
| and | |
| общ. | и; а |
| postcondition | |
| автомат. | пост-условие |
| нефт. | выходное условие |
| прогр. | условие, истинное после выполнения оператора |
| тех. | постусловие |
| |||
| предусловие функции (специальное условие, которые проверяется при вызове (входе в) функцию Alex_Odeychuk) | |||
|
function preconditions : 2 фразы в 1 тематике |
| Программирование | 2 |