请输入您要查询的字词:
单词
program verification
释义
program verification
Encyclopedia
理学
程序验证
释
program verification
程序验证
使用数学方法严格证明程序符合其预期目标(称为规范)的技术。其中程序规范需要以数学方式对程序的功能正确性或者其他性质进行精确描述。
Mathematics
program verification
程序验证
随便看
地球物理观测
地球物理观测卫星
地球物理观测台
地球物理观测站
地球物理警报广播
地球物理评论
地球环境
地球环电流
地球生命力指数
地球生物化学
地球生物圈
地球生物学
地球生理学
地球的
地球的描述
地球的磁极
地球的红飘带
地球磁场
地球磁层
地球科学
地球科学史
地球空间
地球空间信息学
地球空间探测
地球空间格网剖分
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/3/15 23:55:24