This artical mainly presents the elementary thought and method that David. Gries, professor of the Cornell University applied in his research on programming with WP (weakest precondition) in small program aspect.是什么意思_This artical mainly presents the elementary thought and method that David. Gries, professor of the Cornell University applied in his research on programming with WP (weakest precondition) in small program aspect.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句