形式语义学基础/陈意云编著
| 文献条码 | 索书号 | 状态 | 所属分馆 | 所在馆 | 馆藏地点 | 架位号 | 单价 | 套价 | 入库日期 | {$Think.lang.operation} |
|---|---|---|---|---|---|---|---|---|---|---|
| 8902715 | TP301.2/272 | 在架 | LIBNET中心馆 | LIBNET中心馆 | CNY7.50 | CNY7.50 | 2021-12-19 | 登录 |
| 订购年份 | 验收类型 | 验收期数 | 验收数量 | 验收日期 |
|---|---|---|---|---|
| 未找到数据 | ||||
000 nam0
001 __ 0194023516
005 __ 20100303210214.0
010 __ ■a7-312-00533-0■dCNY7.50
100 __ ■a19940515d1994 em y0chiy0110 ea
101 0_ ■achi
102 __ ■aCN■b340000
105 __ ■ay z 000yy
106 __ ■ar
200 1_ ■a形式语义学基础■Axing shi yu yi xue ji chu■f陈意云编著
210 __ ■a合肥■c中国科学技术大学出版社■d1994.3
215 __ ■a237页■d26cm
330 __ ■a本书介绍了程序设计语言形式语义方面的技术,其中有语义、公理语义、指称语义、代数规范的初始语义等。
606 0_ ■2CT■3S083895■a形式语言
690 __ ■aTP301.2■v三版
692 __ ■a73.87
701 _0 ■a陈意云■Achen yi yun■f(1946~)■4编著
801 __ ■aCN■bNLC■c20100603
001 __ 0194023516
005 __ 20100303210214.0
010 __ ■a7-312-00533-0■dCNY7.50
100 __ ■a19940515d1994 em y0chiy0110 ea
101 0_ ■achi
102 __ ■aCN■b340000
105 __ ■ay z 000yy
106 __ ■ar
200 1_ ■a形式语义学基础■Axing shi yu yi xue ji chu■f陈意云编著
210 __ ■a合肥■c中国科学技术大学出版社■d1994.3
215 __ ■a237页■d26cm
330 __ ■a本书介绍了程序设计语言形式语义方面的技术,其中有语义、公理语义、指称语义、代数规范的初始语义等。
606 0_ ■2CT■3S083895■a形式语言
690 __ ■aTP301.2■v三版
692 __ ■a73.87
701 _0 ■a陈意云■Achen yi yun■f(1946~)■4编著
801 __ ■aCN■bNLC■c20100603
广州图畅计算机科技有限公司Copyright © 2016 All Rights Reserved