当前位置:首页 > 名称
大约有900项符合查询结果项。(搜索耗时:0.0102秒)
为您推荐: 火电厂计算机分析 计算机算法设计与分析 继电保护的计算机辅助分析 线性控制系统计算机辅助分析 热电厂汽轮机热力系统设计计算和热经济性分析 现代舰船动力定位
-
-
-
-
-
-
-
-
计算机语言的形式语义 【工业技术】
陆汝钤编著1992 年出版886 页ISBN:7030030222中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容
-
-
