Hoare logic

网络释义

1.	霍尔逻辑　　想必许多人都知道，以发明霍尔逻辑（Hoare Logic）及CSP的Tony Hoare为代表，微软研究院拥有一批知名度很高的研究人员 … china.nikkeibp.com.cn

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。