... 断续指令 discontinuous order 断言表 assertion list 断言迹集合 assertion trace set ...
基于28个网页-相关网页
... 判定语言 assertion language 判定列表 assertion list 判定规格语言 assertion specification language ...
基于8个网页-相关网页
list of believed assertion 信赖判定表
·2,447,543篇论文数据，部分数据来源于NoteExpress
Click Add assertion, and the new assertion appears in the list.
单击add Assertion，新断言将会出现在列表中。
youdao
应用推荐
模块上移
模块下移
不移动