网站首页  词典首页

请输入您要查询的英文单词或汉字:

 

词汇 formal analysis method
释义 formal analysis method
基本例句
形式化方法
To realize the function of workflow management, the business process must be abstracted from the real world and described by a kind of formal method.摘要为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述。
The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
随便看

 

英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 2000-2024 tbdmj.com All Rights Reserved 更新时间:2024/12/22 11:29:10