退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于错误存在的地方推理:不正确的分离逻辑
Azalea Raad; Josh Berdine; Hoang-Hai Dang; Derek Dreyer; Peter O’Hearn; Jules Villard;
Program logics; Separation logic; Bug catching;
机译:E3:在存在局部性时进行方程式推理的逻辑
机译:全局不变量的局部推理,第一部分:区域逻辑
机译:具有充分依据的语义下具有描述逻辑的局部封闭世界推理
机译:错误存在的本地推理:不正确分离逻辑
机译:区域逻辑:Java程序的本地推理及其自动化。
机译:在并发分离逻辑中推理权限区域
机译:模糊逻辑中的三段论推理及其在处理推理中的应用
机译:芯片逻辑调试芯片,使用芯片逻辑调试芯片的调试系统以及外部芯片信号的数据化方法
机译:半导体存储器能够调试对同一存储器的不正确写入或不正确擦除
机译:BEDBUG吸取装置,使用BEDBUG吸取装置的BEDBUG检查套件以及使用相同的方法检查BEDUG的存在/不在场的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。