理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- visual binary
- visual binary star
- visual biophysics process
- visual catalogue
- visual cell
- visual center
- visual centre
- visual characteristics of human eyes
- visual classification
- visual cliff
- visual cluster analysis
- visual coding
- visual colorimetry
- visual comfortableness
- Visual Communication
- visual communication
- visual communication in rodents
- visual continuity
- visual cortex
- visual cortex of brain
- visual cryptography
- Visual Culture Art Education
- visual dark adaptation
- visual data management
- visual design