退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:COQ中具有效果和效果处理程序的程序的模块化验证
Thomas Letan; Yann Régis-Gianas; Pierre Chifflier; Guillaume Hiet;
机译:模块化验证具有效果和效果处理程序的程序
机译:Coq中可编程逻辑控制器计时器的形式化和验证
机译:单线程和多线程程序的模块化终止验证
机译:Coq中具有效果和效果处理程序的程序的模块化验证
机译:Coq中基于分离逻辑的程序验证
机译:泛醌辅酶Q类似物和维生素C治疗辅酶Q10缺陷型成纤维细胞的时间和化合物依赖性
机译:用于验证的混合系统的模块化开发
机译:交易者管理系统,交易者信息注册请求终端,交易者信息注册终端,交易者管理程序,终端程序以及交易者管理方法
机译:用于交替验证的文件生产设备,用于交替验证的文件生产方法,用于交替验证的文件生产方法,用于交替验证的文件生产程序,用于存储验证的文件存储,用于存储文件的存储,用于存储文件的存储设备验证,并使用文件变更验证程序存储记录介质
机译:程序验证装置,程序验证方法,用于程序验证的计算机程序,程序转换器,程序转换方法,用于程序转换的计算机程序,程序制造方法和用于验证的程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。