理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- impurity scattering for carrier
- impurity segregation
- impurity semiconductor
- impurity state
- impurity state conduction
- impurity testing method for gene therapy product
- imputation
- imputation algorithm
- imputation of gravity anomaly
- imputed cost
- IMRA
- imref
- Imre Kertész
- Imre Lakatos
- Imre Madách
- IMRF
- IMRT
- IMS
- IMSA
- I. M. Sheffer
- I. M. Sheffer (1901—1992)
- Imshenetskiǐ
- IMSI
- I. M. Singer
- I. M. Singer (1924—)