Our first for-loop rule is taken from [4]. ... (Si, F(i+1)) = Fi Ok => Fn Specification Fi describes what has yet to be done at iteration i .
確定! 回上一頁