постусловие | |
编程 | post condition; post-condition |
技术 | postcondition |
力学 | tail conditions |
постусловия | |
编程 | postconditions |
机器人 | tail conditions |
оператор условия | |
编程 | assertion |
относящийся к | |
一般 | conversant |
точка | |
一般 | point |
находиться непосредственно | |
编程 | immediately follow |
за | |
一般 | for |
указанный | |
法律 | specified |
| |||
tail conditions; tali conditions | |||
tail conditions (применяемого правила вывода) | |||
postconditions (ssn) | |||
| |||
tail conditions | |||
postcondition | |||
post condition (ssn); post-condition (ssn) |
постусловие: оператор условия, относящийся к точке, находящейся непосредственно за указанным: 1 短语, 1 学科 |
编程 | 1 |