| 字段 | 字段内容 |
|---|---|
| 001 | 0100007848 |
| 005 | 19960307170456 |
| 010 | $a: 7-03-00060-0$d: ￥28.70 |
| 100 | $a: 19940905d1989 gk y0chiy0121 ea |
| 101 | $a: chi |
| 105 | $a: a j 000yy |
| 200 | $1: 0$a: 形式语义学基础与形式说明$f: 屈延文编著$A: xing shi yu yi xue ji chu yu xing shi shuo ming |
| 210 | $a: 北京$c: 科学出版社$d: 1989.12 |
| 215 | $a: 681页$d: 20厘米 |
| 330 | $a: 介绍指标语义、代数语义学、操作语义学与公理语义学的基本内容及其应用, 并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。 |
| 606 | $a: 形式语言$A: xing shi yu yan |
| 690 | $a: TP312$v: 3 |
| 701 | $a: 屈延文$4: 编著 |
| 905 | $a: se$f: TP301.2/8912$s: 2$k: x2$b: 0051324$k: k1$b: 0051325 |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第47234791位用户访问本系统