程 的英文翻译

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.


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

A subroutine or set of data contained sequentially within another.


该队的成功在很大程度上是由於她的努力。

The team's success was largely due to her efforts.


用来分隔或组织计算机程序元素或数据元素的字符或字符串。例如括号、空格符、算术运算符、if（如果）、“BEGIN＂等。

A string of one or more characters used to separate or organize elements of computer programs or data; for example, parentheses, blank character, arithmetic operator, if,"BEGIN".


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

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


沿着屏幕的底部排列所有最小化的应用程序。

Arrange the icon of all minimize application across the bottom of the screen.


程序员想出了一个解决系统问题的办法。

The programmer come up with a solution to the system problem.


辅修专业学术研究的第二个特定领域，其要求的课程和学分比主修课要少

A secondary area of specialized academic study, requiring fewer courses or credits than a major.


一段短的计算机程序，它常驻计算机或很容易装入计算机中。引导程序的执行能把另一个较大的程序如操作系统或其装入程序引入到内存中。

A short computer program that is permanently resident or easily loaded into a computer, whose execution brings another, larger program, such as an operating system or its loader, into memory.


计算机的反馈能使我们更新程序.

The feedback from the computer enables us to update the program.