函式(Functions)。要驗證一個函式,我們會以兩個斷言敘述它的目的。其先決條件(precondition)指出在呼叫它之前必須為真的東西,而其後置條件(postcondition)是函式終止時 ...
確定! 回上一頁