理学 程序正确性 释 program correctness 程序正确性 程序是否正确地实现了预定目标。
理论计算机科学 程序理论 释文 program correctness 程序正确性
- d’Alembertian
- d’Alembert inertial force
- d’Alembert-Lagrange principle
- d’Alembert method
- d’Alembert operator
- d’Alembert paradox
- d’Alembert principle
- d’Alembert ratio test
- d’Alembert solution
- d’Alembert test
- d’Alembert theorem
- D’Arcy
- d’Arsonval galvanometer
- d’Ocagne identity
- d’Ocagne method
- D三角形
- d亏格
- D. 伯努利
- D区
- d区元素
- D-半乳糖
- D半乳糖
- D 单位
- D 原子
- D*可积函数