退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于程序验证,规范和自动推理的计算机混合泳
John A. Van Der Poll;
机译:欧米茄常规系统和规格的自动假定保证推理
机译:通过有关数据和控制的模块化推理来验证参数化并发程序
机译:使用自动推理系统规范Adleman受限模型:Lipton实验的验证
机译:为支持自动缺陷检测而对构造规范进行建模和推理。
机译:MEGA-CC:分子进化遗传学分析程序的计算核心用于自动化和迭代数据分析
机译:使用自动推理系统规范Adleman的受限模型:Lipton实验的验证
机译:规格验证程序,计算机可读存储介质规格验证程序,规格验证装置和规格验证方法
机译:可读记录介质,规格验证设备,在记录有规格验证程序的计算机上读取的规格和验证方法,程序
机译:规格验证程序,其上记录有程序的计算机可读记录介质,规格验证装置和规格验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。