程 的英文翻译

order

rule

程 的中文句子和英文句子

验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。

A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state.


对自己的错误后悔到不致重犯的程度是真正的后悔。

To regret one's errors to the point of not repeating them is true repentance.


关于他们的具体旅程，我毫无所知。

For the details of their itinerary, I am all to seek.


清单打印出的程序或数据组

A printout of a program or data set.


实验过程做这种试验的过程；实验

The process of conducting such a test; experimentation.


固定固定的动作或程序

The act or process of fixing.


她从该课程中获益极大.

She obtained maximal benefit from the course.


他们建造一个新的国家公园的工程将于明年完工。

Their project to establish a new national park will be completed next year.


一种用于按照严格的过程规则实现的数学和逻辑运算的通用术语。

A generic term for all mathematical and logical operations carried out according to precise rules of procedure.


在整个审讯的过程中，她那端庄的举止使得每个人都相信她是无辜的。

Her dignified bearing throughout the trial made everyone believe she was innocent.