当前位置:首页 > 名称
大约有3,000项符合查询结果项。(搜索耗时:0.0126秒)
为您推荐: press中国科学院计算技术服务社 中国计算机 press中国科学院计算技术服务社讲习班 press上海交通大学计算机科学技术教研组 press上海电子计算机厂 北京希望电脑公司 press上海世纪出版股份有限公司 上海科学技术出版社 press上海计算机应用服务部
-
-
-
计算机语言的形式语义
陆汝钤编著1992 年出版886 页ISBN:7030030222中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容
-
-
-
-
-
-
-
学科分类