Publishing the source code of a program is the equivalent of publishing the proof of a theorem.
公布一个程序的源代码与公布一个定理的证明是一样的。
The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.
循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。
Frank: The proof is in the pudding already… When I started with Go programming, I was sceptical about the idea that you needed to be an expert player in order to make a strong Go program.
证据已经摆在眼前了…在我开始编写围棋程序之前，我曾怀疑过这种想法：要想编出强大的围棋程序，你自己至少必须是个专业棋手。
Proof of this can be found in the weekly television program ratings that show the lack of popularity of educational programs as opposed to the appeal of the situation comedy or inane game show.
每周的电视节目评估可证实这一点：教育节目收视率低而情景喜剧和无意义的游戏却很受欢迎。
But the source program is not the only proof for the software developing person. All original material will be the status proof.
但是，源程序并不是开发者身份的唯一证明，软件开发过程中的一切原始材料，均可作为软件作者的开发证明。
An author carries on the analysis of value and authentic proof to "Yan Da" at the two dimension Angle that to attempt to from the substance just is just with the program.
笔者试图从实体公正与程序公正的二维角度对“严打”进行价值和实证的分析。
DT Part IV "program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.
DT IV部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题，计画的准确的描述和证实。
To explain whole class works individual workers respirable dust monitoring systematic monitoring program, monitoring process and effect analysis, proposed targeted dust-proof countermeasures.
阐述了全工班个体呼吸性粉尘监测系统性的监测方案、监测过程及效果分析，提出了有针对性的防尘对策。
In this paper, the principle of HCBK flame -proof telephone with program control and common-battery telephone public-address is introduced.
本文介绍了集程控和共电式扩音功能于一身的HCBK系列程控防爆扩音对讲电话机的工作原理。
Computer room, program-controlled equipment room, electrical-controlled classroom, occasions that have the requirement of dust-proof and anti-static, and places need to be raised.
计算机机房、程控机房、电化教室，有防尘防静电及需要架空的场合。
The telephone is used with the explosion-proof coupling of HOB-1 and connect to program controlled switch to form explosion-proof communication system.
话机与关联设备HOB-1型防爆耦合器配套， ● 户内、户外 与交换机连接，组成防爆电话通讯系统。
The telephone is used with the explosion-proof coupling of HOB-1 and connect to program controlled switch to form explosion-proof communication system.
话机与关联设备HOB-1型防爆耦合器配套， ● 户内、户外 与交换机连接，组成防爆电话通讯系统。
应用推荐