您要查找的是不是:
- theory of program correctness 程序正确性理论
- PROOF OF PROGRAM CORRECTNESS BASED ON SYNTAX TREES 基于语法树和程序正确性验证研究
- Then we go deep into the theory of program compiling and debugging, focus on the format of ELF file and debug information in it (store, extract). 随后,本文对基本的程序编译和调试原理进行了深入的分析,并将重点放在ELF文件的格式以及ELF 文件中调试信息的存储和提取之上,以此作为调试器实现的理论基础。
- validation of program correctness 程序正确性验证
- Einstein put forward his new theory of relativity. 爱因斯坦提出了相对论的新学说。
- Einstein's theory of relativity. 爱因斯坦的相对论。
- Do you agree to the wave theory of light? 你同意光的波动理论吗?
- He cavalierly dismisses the theory of both Freud and Jung. 他傲慢武断地斥贬佛洛依德和杨格二人的理论。
- Darwin put forth the theory of evolution,. 达尔文提出了进化论。
- A Developing Method of Programs Based on the Proof Theoryof Program Correctness 一种基于程序正确性证明理论的程序开发方法
- Not everyone can understand Einstein's Theory of Relativity. 不是每个人都能读懂爱因斯坦的相对论的。
- Model and Algorithm Designing of the Proof of Program Correctness Based on XML Syntax Trees 基于语法树的程序正确性验证模型及算法设计
- Darwin spend more than twenty year work on his theory of evolution. 达尔文花了二十余年时间研究他的进化论。
- It is in favorof modularization of program design. 这有利于程序的模块化设计。
- He discoursed impressively on Newton's theory of gravity. 他讲述了牛顿的引力定律,给人以深刻的印象。
- That egghead published a new theory of matter last month. 那位知识分子上个月发表了一个新的物质论。
- Preparation of program and budget on cash basis. 按现金收付制编制计划和预算。
- A set of input data and conditions used to check the program correctness. 一组用于检查程序正确性的输入数据和条件。
- Ensure high quality of program and document. 确保高质量的程序和文档。
- More than one instance of program? 防止程式运行多个例程?