网站首页
词典首页
请输入您要查询的英文单词:
单词
Hoare logic
释义
Hoare logic
网络
霍尔逻辑
网络释义
1.
霍尔逻辑
想必许多人都知道,以发明
霍尔逻辑
(
Hoare Logic
)及CSP的Tony Hoare为代表,微软研究院拥有一批知名度很高的研究人员 …
china.nikkeibp.com.cn
例句
随便看
trade company
trade competition
trade compliance
trade concession
trade confirmation
trade conflict
trade contacts
trade contract
trade control
trade cooperation
trade corporation
trade cost system
trade council
trade counter
trade courses
tradecraft
trade creation
trade-creation
trade creation effect
trade credit
trade credit and advances
trade credit on exports
trade creditor
trade creditors
trade credits
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/10/1 14:12:13