post-condition
post-condition是什么意思、post-condition怎么读
【计】 后置条件
post-condition汉语翻译
【计】 后置条件