理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- Manufacture of Soda
- manufacturer
- manufacturers to consumer
- manufacturing automation protocol
- manufacturing belt
- manufacturing execution system
- manufacturing executive management system
- manufacturing executive system
- manufacturing expert system
- manufacturing feature
- manufacturing information system
- manufacturing informatization
- manufacturing in Medieval Western Europe
- manufacturing logistics
- manufacturing mode
- manufacturing process database
- manufacturing process management
- manufacturing process modeling
- manufacturing process of seamless tube and pipe
- manufacturing resource allocation
- manufacturing resource management
- Manufacturing resource planning
- manufacturing resource planning
- manufacturing resource planning, MRP
- manufacturing resource planningⅡ