退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:度量语义简介:用于编程和规范语言的操作模型和指称模型
van Breugel Franck;
机译:编程语言,平衡准度量和不动点的指称语义
机译:并行编程语言的指称语义
机译:制定计划编程语言的兼容和可互换语义规范,第一部分:指称语义,自然语义和抽象机器
机译:电子物理系统领域特定建模语言的形式语义规范。
机译:用于将面向对象的模型映射到语义Web语言的语义框架
机译:面向方案编程语言的兼容和可互换的语义规范,第一部分:指称语义,自然语义和抽象机器
机译:用递归和并发关系编程语言的指称和操作语义
机译:自动从系统,设备和计算机程序的系统建模元模型语言模型的自然语言规范中提取的方法
机译:语义编程语言和语言对象模型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。