当前位置：首页 > 名称
大约有3,000项符合查询结果项。（搜索耗时：0.0125秒）
为您推荐： press计算机基础教育教研室 实验室 跨考教育计算机教研室 press北京航空航天大学 计算机基础教研室 press南京邮电学院二系专业基础实验室 press东北工学院计算机系软件教研室 press江苏省立教育学院研究实验部
-
-
-
-
-
-
-
-
计算机语言的形式语义
陆汝钤编著1992 年出版886 页ISBN：7030030222中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容
-
-
学科分类