This article introduces an formal operational semantics and summarizes a verifiable technique based on formulas.
本文给出一种形式化操作语义，并概述基于形式化规则的验证技术。
Understanding the integral calculus of LOGO can lead to complex mathematical ideas in an intuitive context well before the student has progressed to levels of formal operational thought.
了解商标积分结石可能导致复杂数学想法在直觉上下文很好在这名学生进步对正式可使用想法的水平之前。
A mature organization has improved operational success with asset governance and asset-based development in the more formal organization templates presented here.
一个成熟的组织通过在此处所展示的较为正式的组织模板中的资产管理和基于资产的开发，提高了操作的成功性。
Web applications that are deployed in the enterprise for lines of business customarily require formal development teams and operational support.
在企业中为业务线部署的Web应用程序通常需要正式的开发团队和运营支持。
The creation of mashups and their deployment for use by others are performed in the mashup maker without any reliance on formal it operational teams.
混搭应用程序的创建和部署都是在mashu p构建器中完成的，而不需要依赖于正式的IT运营团队。
A marine and retired NATO commander, he was accustomed to formal decision-making structures and operational hierarchies.
作为一名前海军陆战军人和退休的北约司令官，他习惯于令行禁止和上下阶级。
Formulized is an operational semantic model of formal functional programming (FFP) language which in essence is an interpreter on the virtual LISP machine.
本文塑造了正式的函数式程序设计(FFP)语言的一种操作性语义模型，它实质上是LISP虚拟机上的一个解释程序。
The main objective of this approach is to develop a formal or informal database with real-world values, based on projects implemented under the organization's typical operational constraints.
这种方法的主要目的是采用真实数据建立一个正式或非正式的数据库，这些真实数据来自于在企业组织中典型的运营约束条件下实现的项目。
The formal demonstration of system acceptability to obtain authorization for its operational use.
性使用，对系统的可接受性所做的正式演示。
The formal demonstration of system acceptability to obtain authorization for its operational use.
性使用，对系统的可接受性所做的正式演示。
应用推荐