post-condition

後置條件

學術名詞

• 後置條件：電子工程、資訊