1.
Based on the theory and methods of the partially additive category, we will proofthe soundness of the deductive rules on partial correctness for nondeterministic Drogram.
利用部分可加范畴理论及方法,我们证明了不确定程序部分正确性推理规则的合理性.
2.
rectness-oriented programming
![点击朗读](/dictall/images/read.gif)
面向正确性的程序设计
3.
Further Research on Correctness of Program
![点击朗读](/dictall/images/read.gif)
关于程序正确性证明的进一步探讨
4.
As a result, a substantial measure of subjectivity and inconsistency will probably remain part of our procedural due process doctrines.
结果,大量衡量主观性和不一致性的工作大约仍是我们的程序性正当程序理论的一部分。
5.
CHAPTER VI PROCEDURAL DUE PROCESS
![点击朗读](/dictall/images/read.gif)
第六章 程序性正当程序
6.
You do not have administrator privileges on this machine. Some installations cannot be completed correctly unless they are run by an administrator.
您没有该计算机的管理员权限。如果不是由管理员运行,部分程序无法正确安装。
7.
White-box test is a kind of important method to verity correctness of program.
![点击朗读](/dictall/images/read.gif)
白盒测试是检验程序正确性的重要方法。
8.
A set of input data and conditions used to check the program correctness.
![点击朗读](/dictall/images/read.gif)
一组用于检查程序正确性的输入数据和条件。
9.
The Model and Verification of MPI Parallal Programs Based on Petri Net;
![点击朗读](/dictall/images/read.gif)
基于Petri网的MPI并行程序建模与正确性验证
10.
A Study on Syntax Trees Based Program Correctness Validation in Intelligent CAA;
![点击朗读](/dictall/images/read.gif)
智能CAA中基于语法树的程序正确性验证研究
11.
Research on the Verification of NC Program Based on Compile Theory;
![点击朗读](/dictall/images/read.gif)
基于编译原理的数控程序正确性检查研究
12.
Asymptotic Distribution of the Product of Strong Mixing Sums
![点击朗读](/dictall/images/read.gif)
强混合序列部分和乘积的渐近正态性
13.
they must be the right instructions in the right order.
![点击朗读](/dictall/images/read.gif)
程序还必须是顺序正确的指令组。
14.
Incorrect Application Start-up Sequence Detected
![点击朗读](/dictall/images/read.gif)
检测到不正确的应用程序启动顺序。
15.
The Structural Analysis of Orthotropic Steel Deck and Its Program;
![点击朗读](/dictall/images/read.gif)
正交异性钢桥面板的结构分析及程序
16.
Due Process Analysis upon Retrieval of Power of Examination and Approval of Death Sentences;
死刑核准权归位后的程序正当性分析
17.
Correct Engineering of Some Geotechnical Projects and Quality Assessment
![点击朗读](/dictall/images/read.gif)
浅谈部分岩土工程正确实施与质量检评
18.
Standardize the procedures of tax audits; ensure the preciseness and correctness of tax audits;
规范税务检查程序,保证税务检查处理的严谨性和正确性;