| 翻译 | 详细 |
|---|---|
| 程序树program tree | 详细» |
| 程序校验routine check | 详细» |
| 程序校验子系统program check subsystem | 详细» |
| 程序校验条件program checkout condition;program condition | 详细» |
| 程序校验程序program verifier〔名词〕 | 详细» |
| 程序校验论theory of program verification〔名词〕 | 详细» |
| 程序根(程序段)routine root | 详细» |
| 程序框图program chart | 详细» |
| 程序检查(程序校验)program checkout | 详细» |
| 程序检查中断控制PCIC〔名词〕 | 详细» |
| 程序检查时间program testing time〔名词〕 | 详细» |
| 程序检验programmed check;programmed checking;programming check | 详细» |
| 程序检验中断program check interruption〔名词〕 | 详细» |
| 程序检验带program test tape〔名词〕 | 详细» |
| 程序检验接通状态program checkout on-condition;program checkout oncondition | 详细» |
| 程序检验条件program-checkout condition〔名词〕 | 详细» |
| 程序检验系统program verification system〔名词〕 | 详细» |
| 程序概率模型probabilistic model of program | 详细» |
| 程序模块programming module〔名词〕 | 详细» |
| 程序模块字典program module dictionary | 详细» |
| 程序模型化program modelling〔名词〕 | 详细» |
| 程序模式(程序方案)program schema | 详细» |
| 程序正文routine text〔名词〕 | 详细» |
| 程序正确性检查program validation〔名词〕 | 详细» |
| 程序正确性证明mathematical proofs of program correctness;proof of program correctness | 详细» |
| 程序目标卡片叠program object deck | 详细» |
| 程序相互作用)program interaction | 详细» |
| 程序相对分页program relative paging | 详细» |
| 程序研制执行程序program development executive | 详细» |
| 程序确证certification of program | 详细» |