31页 第二段。
由架构师和市场一线人员以及实现人员组成的工作组的体积过小。
--------什么意思？
73页。
证明程序的正确性是一项庞大的工程与构建程序的工作量不相上下。没有证明能够表明程序的最初目标是正确的。
--------看不懂啊看不懂。
翻译的太仓促了，有人审稿么？
|
|
> 去设计原本的论坛
最新讨论 · · · · · · (全部)
谁能告诉我第三部分是怎么回事(神仙)
> 我来回应