1、霍尔
前后置条件虽然类似于霍尔( Hoare) 公理系统中的谓词,但 对它们的解释有所不同。在我们的描述中,前后置条件表示软 件过程的各种属性和软件活动的各种联系,而这种属...
2、豪尔
【正文快照】： 一、通信顺序进程和分布式并行处理模型 豪尔 ( Hoare )的通信顺序进程理论(CSP)是一种分布式并行处理理论〔2’。
3、翻译
...hot spray process翻译 【化】 热喷涂法Hoare翻译 【计】 霍尔hypomagnesemia翻译 *['haipəmægnə'si:miə] 【医】 血镁过少, 低镁血 ...
4、名字
...名字: Hoare姓: John标签: John Hoare ...