?霍尔
前后置条件虽然类似于霍尔( Hoare) 公理系统中的谓词,但 对它们的解释有所不同。在我们的描述中,前后置条件表示软 件过程的各种属性和软件活动的各种联系,而这种属...
?豪尔
【正文快照】: 一、通信顺序进程和分布式并行处理模型 豪尔 ( Hoare )的通信顺序进程理论(CSP)是一种分布式并行处理理论〔2’。
?名字
... 名字: Hoare 姓: John 标签: John Hoare ...
霍尔逻辑
亨利霍尔二世
浩威证券
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。