您要查找的是不是：
- program correctness proof 程序正确性证明
- programming correctness proof [计] 程序正确性证明
- A set of input data and conditions used to check the program correctness. 一组用于检查程序正确性的输入数据和条件。
- PROOF OF PROGRAM CORRECTNESS BASED ON SYNTAX TREES 基于语法树和程序正确性验证研究
- The preimage entropies in the dynamical systems are investigated.The correct proof of the result about preimage branch entropy:“graph mapping has zero preimage branch entropy"is given. 对理论动力系统中连续映射的原象熵进行了研究,给出了有关原象分枝熵的一个结果:“图映射具有零原象分枝熵”,并给出了正确证明。
- The Correctness Proof of a Decomposing Approach 一种设计分解的正确性证明
- Justin Tan.Growth of industry clusters and innovation:Lessons fress,Corrected Proof,Available online 21 November 2005. 邓志旺;甘和平.;中国城市可持续发展的国际借鉴[J]
- validation of program correctness 程序正确性验证
- A Developing Method of Programs Based on the Proof Theoryof Program Correctness 一种基于程序正确性证明理论的程序开发方法
- Model and Algorithm Designing of the Proof of Program Correctness Based on XML Syntax Trees 基于语法树的程序正确性验证模型及算法设计
- It turns out that proving programs correct is equivalent to solving the Halting Problem. 证明程序是正确的等价于解决停机问题。
- Visual Studio Tools for Office follows a thread naming convention that enables the debugger to close the program correctly. Visual Studio Tools for Office遵循线程命名约定,使调试器可以正确关闭程序。
- Exception handling is the important language mechanism in C++ language, it is very important to deal with exception handing for the dependability and stalwart to the program correctly. 摘要异常处理是C++语言的重要语言机制，正确地处理异常对程序的可靠性、健壮性是十分重要的。
- Tax office: they are the one that lacks correct proofs to determine whether its operation is taxable,and the one that can not correctly file the tax return. 税务局：不能正确确定其活动是否应当纳税的，以及不能正确申报的。
- The main feature on the program is her song. 那个节目的主要号召物是她的歌。
- proof of program correctness 程序正确性证明
- This news program only covers external events. 这一新闻节目只报道国外消息。
- Do you see the travel program on italy last night? 昨晚你看有关意大利的旅游节目了吗？
- Starting applications from Program Manager is easy. 在程序管理器下运行应用程序很容易。
- Pop music is mostly program music. 流行音乐大多是标题音乐。
