理学 程序正确性 释 program correctness 程序正确性 程序是否正确地实现了预定目标。
理论计算机科学 程序理论 释文 program correctness 程序正确性
- Sherman
- Sherman Act
- Sherman Alexie
- Sherman Antitrust Act
- Sherman Antitrust Act of 1890
- Sherman’s March to the Sea
- Sherrie Levine
- Sherrill Milnes
- Sherring bridge
- Sherrington crater
- Sherwood algorithm
- Sherwood Anderson
- sherwood number
- She Shan
- Sheshan Catholic Church
- Sheshan Dao
- Sheshang Shuiku
- Sheshan Observatory
- Sheshan Seminary
- Sheshan Yuehu
- she-shaped jade pendan of the Han Dynasty
- Sheshui He
- She Stoops to Conquer
- Shetianqiao Stage
- Shetland Islands