请输入您要查询的字词:
单词
形式化方法
释义
形式化方法
Encyclopedia
理学
形式化方法
释
formal methods
形式化方法
基于严格的数学基础,对计算系统和应用进行规约、开发和验证的方法。
Mathematics
formalization method
形式化方法
logistic method
逻辑斯谛方法,形式化方法
Computer
软件工程
释文
formal method
形式化方法
随便看
蒸发成像术
蒸发时标
蒸发曲线
蒸发本领
蒸发核子
蒸发模型
蒸发气再冷凝工艺
蒸发气处理系统
蒸发气态球状体
蒸发气直接输出工艺
蒸发池
蒸发法
蒸发泵作用
蒸发浓缩
蒸发涂敷
蒸发消融
蒸发热
蒸发物
蒸发率
蒸发皿
蒸发离子泵
蒸发管
蒸发系数
蒸发结晶
蒸发-蒸腾
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/3/2 4:38:04