|
000
|
01006nam 2200277 450
|
|
001
|
97620
|
|
005
|
20140729142952.92
|
|
010
|
|
@a978-7-03-026238-7@b简装@dCNY59.00
|
|
100
|
|
@a20100402d2010 em y0chiy50 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa z 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a形式语义学基础与形式说明@Axing shi yu yi xue ji chu yu xing shi shuo ming@f屈延文编著
|
|
205
|
|
@a第2版
|
|
210
|
|
@a北京@c科学出版社@d2010.03
|
|
215
|
|
@a496页@c图@d24cm
|
|
225
|
2
|
@a中国信息安全测评中心系列丛书@Azhong guo xin xi an quan ce ping zhong xin xi lie cong shu
|
|
320
|
|
@a有书目 (第495-496页)
|
|
330
|
|
@a本书共分十章。介绍了指称语义学、代数语义学等,并介绍了发展程序设计语各流派的语义模型和新一代计算机的计算模型的理论问题。
|
|
410
|
0
|
@12001 @a中国信息安全测评中心系列丛书
|
|
606
|
0
|
@a形式语义学@Axing shi yu yi xue@x研究
|
|
690
|
|
@aTP301.2@v5
|
|
701
|
0
|
@a屈延文@Aqu yan wen@4编著
|
|
801
|
0
|
@aCN@b郑州旅游职业学院@c20140720
|
|
905
|
|
@aZZLYZY@dTP301.2@e2@f5
|
|
|
|
|
| |
| 形式语义学基础与形式说明/屈延文编著.-第2版.-北京：科学出版社，2010.03 |
| 496页：图；24cm.-(中国信息安全测评中心系列丛书) |
| |
| |
| ISBN 978-7-03-026238-7(简装)：CNY59.00 |
| 本书共分十章。介绍了指称语义学、代数语义学等,并介绍了发展程序设计语各流派的语义模型和新一代计算机的计算模型的理论问题。 |
| ● |
正题名：形式语义学基础与形式说明
索取号：TP301.2/2
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
0638191
|
206381912
|
十四楼书库/14E12A0404/
[索取号:TP301.2/2]
|
在馆
|
架位导航
|
|
2
|
0638192
|
206381921
|
十四楼书库/14E12A0404/
[索取号:TP301.2/2]
|
在馆
|
架位导航
|
|
3
|
0638193
|
206381930
|
一楼密集书库B区/
[索取号:TP301.2/2]
|
在馆
|
架位导航
|
|
4
|
0638194
|
206381949
|
一楼密集书库B区/
[索取号:TP301.2/2]
|
在馆
|
架位导航
|
|
5
|
0638195
|
206381958
|
十四楼书库/14E12A0404/
[索取号:TP301.2/2]
|
在馆
|
架位导航
|
