好单词

postcondition

美：[pəʊstkən´dɪʃn]   英：[pəʊstkən´dɪʃn]

中文翻译

后置条件

网络解释

后条件; 后续条件; 后验条件

英文短语

  • 1.Postcondition Exception 后置条件异常
  • 2.hypothermia postcondition 低温后适应
  • 3.program postcondition 程序后置条件
  • 4.Strongest postcondition 最强后置条件
  • 5.Task Postcondition - Data Value 任务后置
  • 6.Task Postcondition - Data Existence 任务后置

    • 英文例句

  • 1.Similarly, postcondition tests correspond roughly to after advice.同样，后置条件测试大致与 after 建议对应。
  • 2.There is something wrong with the function; a postcondition is violated.函数本身可能有错，后置条件没有满足。
  • 3.Specifies a postcondition contract for the enclosing method or property.为封闭方法或属性指定一个后置条件协定。
  • 4.An example postcondition: the new balance is the old balance, less the amount withdrawn.后置条件示例：新的余额就是老的余额扣除取款金额。
  • 5.Then, I filled in the Desired outcome section, and skipped down and added a postcondition, and around and around I went.然后，我填写期望的结果部分，添加后置条件，就这样一轮一轮的进行下去。


    • 其他单词翻译

    英文单词 中文含义
    Zapodidae

    n.[脊椎]林跳鼠科

    网络解释

    林跳鼠科; 林睡鼠科; 英文名
    Zamiaceae

    n.泽米科，藏米亚科

    网络解释

    泽米铁科; 泽米科; 泽米鐡科
    Zarqa

    扎尔卡（地名）

    网络解释

    扎尔卡; 萨卡; 札尔卡
    Zannichellia

    n.角果藻属

    网络解释

    角果藻属
    Zapotec

    n. 萨巴特克人（语）

    adj. 萨巴特克人（语）的

    网络解释

    萨波特克; 萨波特克文; 萨波特克文明
    Zarr

    [人名] 扎尔

    网络解释

    南非兰特
    Zapotecan

    n.萨巴特克人；萨巴特克语

    adj.萨巴特克人的；萨巴特克语的
    Zayas

    [人名] 扎亚斯

    网络解释

    萨亚斯
    Zbigniew

    兹比格纽（人名）

    网络解释

    兹比格涅; 列津斯基
    Zeek

    [人名] 齐克

    网络解释

    基克; 瑞科(zeekrewards); 齐格
    Zea

    abbr. zero-energy assembly 零功率装置
    Zeitlin

    n.（Zeitlin）人名；（西、瑞典）塞特林；（英）蔡特林；（葡）泽特林

    网络解释

    特林; 蔡特林
    Zeeman

    塞曼(Pieter,1865-1943，荷兰物理学家，曾获1902年诺贝尔物理学奖)

    网络解释

    塞曼; 齐曼; 季曼
    Zealand

    n. 西兰岛（丹麦最大的岛）

    网络解释

    新西兰; 丹麦最大的岛; 荷兰有西兰
    Zellweger

    [人名] 泽尔韦格

    网络解释

    脑肝肾综合征; 威格; 韦格科技有限公司
    Zelanian

    adj.新西兰的

    网络解释

    新西兰的
    Zef

    n.南非亚文化（后隔离时代底层白人反文化运动）

    网络解释

    零就业家庭(zero-employment families); 发展研究中心; 德国波恩大学发展研究中心
    Zebedee

    n. 〈基督教> 西庇太(<圣经·马太福音〉中人物)

    网络解释

    西庇太; 西庇第; 男性
    Zep

    n.策帕林飞艇；齐柏林飞艇（等于zeppelin）

    网络解释

    泽普; 教育优先区; 滭普
    Zemeckis

    [人名] 泽梅基斯

    网络解释

    泽梅基斯