图书馆

登录

搜索 计算系统的形式语义 的资源共有 2 条结果，用时 0.002 秒

每页显示：

5
10
15
20

显示方式：

排序方式：

图书馆

桂林理工大学南宁分校图书馆(2)

资源类型

图书(2)

馆藏地址

六楼科技二东区(2)

书目库

中文图书(2)

主题

形式语义(2)

出版社

清华大学出版社(2)

出版时间

2017.01(2)

计算系统的形式语义.上

— 陆汝钤著

索书号：TP301.2/8

标准编码： 978-7-302-41494-0

出版信息：北京清华大学出版社 2017.01

中文图书

馆藏预览

数据正在加载中……

数据正在加载中……
计算系统的形式语义.下

— 陆汝钤著

索书号：TP301.2/9

标准编码： 978-7-302-41494-0

出版信息：北京清华大学出版社 2017.01

中文图书

馆藏预览

数据正在加载中……

数据正在加载中……

1 共有：2条记录

参考翻译

热门检索词

相关资源