David Gries 在「A Note on the Standard Strategy for Developing Loop Invariants and Loops」(發表於 Science of Computer Programming 2, pp.
確定! 回上一頁