退出
我的积分:
中文文献批量获取
外文文献批量获取
李侃; 李舟军;
不详;
面象对象; 类型规范语言; 子类型; 对象类型;
机译:AgentTest:一种用于基于代理的系统测试的规范语言
机译:一种使用Erlang作为测试规范语言的与语言无关的黑盒测试方法
机译:JCML:一种用于Java Card程序的运行时验证的规范语言
机译:STSL:用于网络物理系统的新型时空规范语言
机译:变压器规范语言:一种用于生成分析仪及其应用程序的系统。
机译:PyBioNetFit和生物特性规范语言
机译:鸟类中真正的咽扁桃体的证据:一种新型的淋巴器官,它是一种新的淋巴器官,它是一种新型的淋巴器官,它是一种新型的淋巴器官,它是一种新型的淋巴器官
机译:一种用于自动代码生成的图形化规范语言。 GRasp / ada:ada的算法,结构和过程的图形表示,第1阶段
机译:对象类型识别装置,对象类型识别方法和对象类型识别程序
机译:对象类型确定设备,对象类型确定方法和对象类型确定程序
机译:对象类型决定装置,车辆,对象类型决定方法以及对象类型决定程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。