退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用Coq中的高阶分离逻辑验证面向对象的程序
Jesper Bengtson; Jonas Braband Jensen; Filip Sieczkowski; Lars Birkedal;
机译:用于验证面向对象编程法则条件的逻辑编程
机译:Coq中可编程逻辑控制器计时器的形式化和验证
机译:验证有关高阶逻辑程序的终止和归约属性
机译:在Coq中使用高阶分离逻辑验证面向对象的程序
机译:Coq中基于分离逻辑的程序验证
机译:使用面向概念的术语和面向对象的编程表达式提高Arden语法医学逻辑模块的可读性
机译:逻辑验证支持程序,记录该程序的记录介质,逻辑验证支持装置以及逻辑验证支持方法
机译:逻辑验证支持程序,使用记录的程序记录介质,逻辑验证支持设备和逻辑验证支持方法
机译:用于对具有验证逻辑的可编程逻辑器件进行编程的方法和装置,该验证逻辑用于将从存储器位置读取的验证数据与程序数据进行比较
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。