第1页

  • 页码:第1页 2011-05-23 16:47:13

> 黄健宏的所有笔记(151篇)

黄健宏对本书的所有笔记  · · · · · ·

  • 第1页
  • 第8页

    Top-down software development Let us summarize the methodology we used to write Pascal:...

  • 第9页

    Correctness To prove correctness in general, we have to reason about the program. This ...

说明  · · · · · ·

表示其中内容是对原文的摘抄