These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.

这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。

youdao

The present status of production, process . specification and analysis method of high purity hydrogen peroxide both at home and abroad are introduced.

介绍了国内外高纯过氧化氢生产情况、生产方法、产品质量指标和分析方法。

youdao

The service analysis model represents the data structures for service and component specification.

服务分析模型表示服务和组件规范的数据结构。

youdao

Achieve a globally recognised impact for the UIS in this sector through methodological development activities, survey specification, analysis, standard setting, measuring skills, provision of advice and technical support to Member States.

UNESCO: Vacancy : Head of Section, Education Outcomes (14/6/2011) (1CAUIS0990ST - (P5))