理学 程序正确性 释 program correctness 程序正确性 程序是否正确地实现了预定目标。
理论计算机科学 程序理论 释文 program correctness 程序正确性
- Zhang Quying
- Zhang Ren
- Zhang Renhe
- Zhang Renyuan
- Zhang Rice singlet
- Zhang-Rice singlet
- Zhang Rong
- Zhang Rongceng
- Zhang Rou
- Zhang Rui
- Zhang Ruiai
- Zhang Ruijin
- Zhang Ruitu
- Zhang Rulin
- Zhang Ruoxu
- Zhang Sanfeng
- Zhang Sengyao
- Zhang Shan
- Zhang Shanghe
- Zhang Shankun
- Zhang Shanren
- Zhangshan Sluice
- Zhang Shao
- Zhang Shaolin
- Zhang Shaoming