退出
我的积分:
中文文献批量获取
外文文献批量获取
任胜兵; 喻寿益; 陈松乔; 余莹;
中南大学,信息科学与工程学院,湖南,长沙,410083;
软件演化; 软件演化操作语言; 结构化操作语义; 语义等价;
机译:异步功能电路的语言及其操作语义
机译:基于知识的软件工程经验:基于逻辑的需求语言及其工业应用
机译:逻辑逻辑编程模板程序:操作语义
机译:分布式实时语言及其操作语义
机译:排队网络仿真逻辑程序设计语言及其处理系统的研究
机译:思维操作语义学与大脑操作建筑学:一种对应关系
机译:Hennessy-Milner逻辑通过结构化操作语义的组合性
机译:具有谓词和负前提的结构化操作语义的同余定理
机译:用于控制流程和查询作为流程的演化的操作语义规则
机译:vagao ferroviario的窍门和Telementos形成的改进以及vagao ferroviarioNTE的逻辑存储单元模块化ciclicameruqe中互连的形成的可操作性,模块化逻辑通用结构化地层处理模块,网络分布式和逻辑LSI通用结构化地结构
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。