当前位置:首页 > 名称
大约有34,707项符合查询结果项。(搜索耗时:0.1244秒)
为您推荐: kr驱动滚简输送机动力计算公式 图形计算公式 归一化截止频率计算公式 管工计算公式 刚架计算公式及图表 偏心距计算公式图解
-
-
-
-
-
-
-
-
-
-
计算机语言的形式语义
陆汝钤编著1992 年出版886 页ISBN:7030030222中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容
学科分类
出版时间
