面试三板斧：项目经历、纸上代码、正确性证明 发表于 2020-02-28 更新于 2020-06-08 分类于 b计算机基础/h_算法/leetcode/shoulders 阅读次数： 本文字数： 95 阅读时长 ≈ 1 分钟 2020年2月28日 下午1:03 我的算法学习之路 | lucida这三板斧 项目经历： 纸上代码： 白板编程+契约式程序设计 正确性证明： 编程珠玑 引用的书籍 The Science of Programming