前后置条件虽然类似于霍尔( Hoare) 公理系统中的谓词,但 对它们的解释有所不同。在我们的描述中,前后置条件表示软 件过程的各种属性和软件活动的各种联系,而这种属...
基于236个网页-相关网页
Hoare logic 霍尔逻辑
Henry Hoare II 亨利霍尔二世
Hoare Govett 浩威证券
James Hoare 詹姆斯·霍尔
Philip Hoare 菲利普·霍尔
Sir Samuel Hoare 霍尔爵士
Hoare triple 三元组
Steve Hoare 史蒂文·霍尔
以上来源于: WordNet
But Marko Hoare takes a different view.
然而，马可·霍尔对此有不同的看法。
The unpopularity of the Hoare-Laval pact in Britain forced Hoare to resign.
在英国不得人心的《霍尔-赖伐尔协定》最终使得霍尔辞职。
The Guardian reported that Hoare had recently injured his nose and his foot in an accident.
卫报称Sean Hoare最近似乎不小心弄伤了他的鼻子和脚。
应用推荐