请输入您要查询的字词:
单词
程序验证
释义
程序验证
Encyclopedia
理学
程序验证
释
program verification
程序验证
使用数学方法严格证明程序符合其预期目标(称为规范)的技术。其中程序规范需要以数学方式对程序的功能正确性或者其他性质进行精确描述。
Mathematics
program verification
程序验证
随便看
分数次微分算子
分数次演算
分数次积分
分数次积分方程
分数次积分法
分数步法
分数步长
分数比特移位改正器
分数法
分数演算
分数电荷
分数的
分数的分解
分数的项
分数磁荷
分数算术
分数线
分数统计
分数统计法
分数维数
分数贬值
分数运算法则
分数部分
分数部分函数
分数部分数字
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2024/12/26 2:56:28