前后置条件虽然类似于霍尔( Hoare) 公理系统中的谓词,但 对它们的解释有所不同。在我们的描述中,前后置条件表示软 件过程的各种属性和软件活动的各种联系,而这种属...
基于236个网页-相关网页
Hoare logic 霍尔逻辑
Henry Hoare II 亨利霍尔二世
Hoare Govett 浩威证券
James Hoare 詹姆斯·霍尔
Philip Hoare 菲利普·霍尔
Sean Hoare 者何尔
Mike Hoare 着名雇佣兵麦克·霍尔
Sir Samuel Hoare 霍尔爵士
Tony 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最近似乎不小心弄伤了他的鼻子和脚。
应用推荐