单词 | Owre |
释义 |
Owre听听怎么读 是什么意思 [人名] 奥尔; 学习怎么用 权威例句Historical Overview, Current Status, and Future Trends in Human-Computer Interfaces for Process ControlProgrammable heuristics for theorem proversCity Research OnlinePVS: A Prototype Verification SystemPVS: A prototype verification systemFormal verification for fault-tolerant architectures: prolegomena to the design of PVSAn Overview of SALThe pvs proof checker: a reference manual (beta release)The PVS Specification LanguageThe Formal Semantics of PVS
|
随便看 |
|
英语词典包含168364条英汉在线翻译词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。