go top

Hoare

  • 霍尔(人名)

网络释义英英释义

  霍尔

前后置条件虽然类似于霍尔( Hoare) 公理系统中的谓词,但 对它们的解释有所不同。在我们的描述中,前后置条件表示软 件过程的各种属性和软件活动的各种联系,而这种属...

基于236个网页-相关网页

  豪尔

【正文快照】: 一、通信顺序进程和分布式并行处理模型 豪尔 ( Hoare )的通信顺序进程理论(CSP)是一种分布式并行处理理论〔2’。

基于28个网页-相关网页

短语

Hoare logic 霍尔逻辑

Henry Hoare II 亨利霍尔二世

Hoare Govett 浩威证券

James Hoare 詹姆斯·霍尔

Philip Hoare 菲利普·霍尔

Sir Samuel Hoare 霍尔爵士

Hoare triple 三元组

Steve Hoare 史蒂文·霍尔

 更多收起网络短语

Hoare

  • abstract: Hoare is one of the forty sectors found in Santurce, San Juan, Puerto Rico.

以上来源于: WordNet

双语例句权威例句

  • The unpopularity of the Hoare-Laval pact in Britain forced Hoare to resign.

    在英国不得人心的《霍尔-赖伐尔协定》最终使得霍尔辞职。

    youdao

  • Hoare, later to become Lord Templewood, mentioned the recruitment in memoirs in 1954, but Martland stumbled on details of the payments for the first time while scouring Hoare's papers.

    后来成为坦普尔·伍德勋爵(Lord Templewood)的霍尔在1954年的回忆录中提到的这次招募;但是马特·兰德在仔细翻阅霍尔的文件时,才意外地首次发现支付的细节。

    youdao

  • But Marko Hoare takes a different view.

    然而,马可·霍尔对此有不同的看法。

    youdao

更多双语例句
更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定