程 的英文翻译

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.


我们把钱用在兴建灌溉工程上了.

We used the money to set up an irrigation project.


那女间谍伪装成顾问工程师.

The spy's cover was that she was a consultant engineer.


子程序包含在其它程序中的程序或一组连续数

A subroutine or set of data contained sequentially within another.


构筑建筑的行为或过程

The act or process of constructing.


你知道从种子发展成为植物的过程吗？

Do you know about the evolution of a seed into a plant?


我们的英语课程非常重视会话技能。

Our English course places great emphasis on conversational skills.


排演话剧的过程很复杂.

The mechanics of staging a play are very complicated.


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

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


给同一局域网中所有成员取定的名称，这些成员共享同样的程序和文件，并很可能相互间要协调任务和工作负荷。

The name given to the members of the same LAN, sharing the same programs and files, and, most likely, coordinating tasks and work load.