理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- bundle theory
- bundle torsion
- Bundling Pricing
- bundling sales
- Buneman instability
- Bungakukai・Literary World
- Bungee Jumping
- Bungeishunju Ltd.
- Bunka Fashion College
- bunker
- bunodont
- Bunongshu
- Bunsen burner
- Bunsen crater
- Bunsen flame
- Bunsen photometer
- Bunsen, Robert Wilhelm Eberhard
- Bunu language
- Bunun language
- Bunyakovskii
- Bunyakovskiǐ
- Bunyakovskiǐ conjecture
- Bunyakovskiǐ inequality
- Bunyoro-Kitara Kingdom
- buoyage