退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:面向对象程序设计法条件验证的逻辑程序设计
Ro De Freitas; Marcel Caraciolo; Márcio Cornélio;
机译:用于验证面向对象编程法则条件的逻辑编程
机译:如此不同但如此相似? - 或相反亦然?逻辑编程和面向对象编程范例的探索
机译:针对面向对象代码的编程逻辑建模和跨程序缺陷检测方法
机译:在Coq中使用高阶分离逻辑验证面向对象的程序
机译:并行面向对象编程语言的数据流综合和验证。
机译:使用面向概念的术语和面向对象的编程表达式提高Arden语法医学逻辑模块的可读性
机译:使用Coq中的高阶分离逻辑验证面向对象的程序
机译:用于对具有验证逻辑的可编程逻辑器件进行编程的方法和装置,该验证逻辑用于将从存储器位置读取的验证数据与程序数据进行比较
机译:逻辑验证支持程序,记录该程序的记录介质,逻辑验证支持装置以及逻辑验证支持方法
机译:逻辑验证支持程序,使用记录的程序记录介质,逻辑验证支持设备和逻辑验证支持方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。