英语词汇Hoare triple怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	Hoare triple
释义	Hoare triple 翻译霍尔的三倍以上为机器翻译结果，快速获取精准的人工翻译结果，建议选择有道人工翻译网络释义 1 ?三元组 ...建立在霍尔逻辑的基础之上的，所以先简单回顾霍尔逻辑的基本知识．在霍尔逻辑中，唯一的一种规范是霍尔三元组（Hoare triple），由两个断言包围着一个命令组成，更为准确的说，有两种形式的霍尔三元组，一种是部分正确性规范｛P｝C ｛q｝，该规范有效当且仅...
随便看	traditional climbing traditional commodities traditional commodity traditional concept traditional conservative traditional cost accounting traditional costing traditional costing method traditional costume traditional costumes traditional craft traditional craft activities traditional culture traditional curriculum traditional custom traditional customs traditional dance traditional data processing traditional data processing function traditional debugging traditional decision theory traditional decoration traditional delineation traditional diathermy apparatus traditional domination

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。