请输入您要查询的字词:
单词
程序验证
释义
程序验证
Encyclopedia
理学
程序验证
释
program verification
程序验证
使用数学方法严格证明程序符合其预期目标(称为规范)的技术。其中程序规范需要以数学方式对程序的功能正确性或者其他性质进行精确描述。
Mathematics
program verification
程序验证
随便看
non-gray atmosphere
non-grey atmosphere
Nongsangjiyao
Nongsangyishicuoyao
Nongshuo
Nongzhengquanshu
Nong Zhigao
Nong Zhigao Rebellion
Nong’an Huanglong Opera Inheritance and Protection Center
Nong’an Xian
non-halogen-flame retardant
non-Hamiltonian cubic graph
non-Hamiltonian graph
nonhamiltonian graph
nonharmonic series
nonharmonic tone
nonharmonic wave
non-Hausdorff space
non-heating oil gathering process
non-hierarchical notation
nonhierarchical planner
nonhistone protein
non histone proteins
non-histone proteins
nonhistone proteins
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/4/26 19:26:01