后置条件示例:新的余额就是老的余额扣除取款金额。
An example postcondition: the new balance is the old balance, less the amount withdrawn.
请告诉我您的取款金额、日期和您的账号。
Please state the amount you want to withdraw, the date, and your account number.
请填写一下取款单,写上您的名字、账号以及取款金额。
Please complete this withdrawal slip, with your name, account number and amount of withdrawal.
应用推荐