第4章 编写正确的程序2023-10-05read约 55 字 预计阅读 1 分钟 次阅读文章目录4.4 原理4.4 原理程序的开发需要遵循验证思想工具:断言顺序/选择控制结构、函数、迭代控制结构:初始化、保持(不变式)、终止文章作者 lim上次更新 2024-09-10 (d0520e1)许可协议 CC BY-NC-ND 4.0 赞赏支持 微信打赏 支付宝打赏