前后置条件虽然类似于霍尔( Hoare) 公理系统中的谓词,但 对它们的解释有所不同。在我们的描述中,前后置条件表示软 件过程的各种属性和软件活动的各种联系,而这种属...
基于236个网页-相关网页
Hoare logic 霍尔逻辑
Henry Hoare II 亨利霍尔二世
Hoare Govett 浩威证券
James Hoare 詹姆斯·霍尔
Philip Hoare 菲利普·霍尔
Sir Samuel Hoare 霍尔爵士
Hoare triple 三元组
Steve Hoare 史蒂文·霍尔
以上来源于: WordNet
The unpopularity of the Hoare-Laval pact in Britain forced Hoare to resign.
在英国不得人心的《霍尔-赖伐尔协定》最终使得霍尔辞职。
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年的回忆录中提到的这次招募;但是马特·兰德在仔细翻阅霍尔的文件时,才意外地首次发现支付的细节。
But Marko Hoare takes a different view.
然而,马可·霍尔对此有不同的看法。
应用推荐