理学 程序正确性 释 program correctness 程序正确性 程序是否正确地实现了预定目标。
理论计算机科学 程序理论 释文 program correctness 程序正确性
- general mathematics
- general mean
- general mechanical engine
- general mechanics
- general medical practice
- general merchandise store
- general method
- general metric
- general microbiology
- General Military Geography
- "general mobilization order"
- general model
- general model of cryptographic hash function
- general model of effective medium parameters in metamaterials
- general module
- general module theory
- general modulus
- general money
- general motion of rigid bodies
- general motion of rigid body
- general multiplication
- general multiplication of tensors
- General Museology
- general museology
- general name and distinct name