| 字段 | 字段内容 |
|---|---|
| 001 | 01h0015404 |
| 005 | 20100925132044.0 |
| 010 | $a: 978-7-302-20890-7$d: CNY79.00 |
| 100 | $a: 20100202d2010 em y0chiy50 ea |
| 101 | $a: chi$c: ger |
| 102 | $a: CN$b: 110000 |
| 105 | $a: a a 000yy |
| 106 | $a: r |
| 200 | $a: 软件工程卷$A: ruan jian gong cheng juan$h: 1$i: 抽象与建模$d: = Software engineering$h: 1$i: Abstraction and modeling$f: Dines Bjorner著$g: 刘伯超, 向剑文等译$z: eng |
| 210 | $a: 北京$c: 清华大学出版社$d: 2010.01 |
| 215 | $a: xxxvii, 568页$c: 图$d: 26cm |
| 306 | $a: 由Springer-Verlag授权 |
| 320 | $a: 有书目 (第545-568页) |
| 330 | $a: 本书介绍了抽象与建模的基本原理和技术。首先, 本卷给出了离散数学的基本介绍, 包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑, 然后讲授基本的面向属性与面向模型的规约的基本原理和技术。 |
| 333 | $a: 世界著名计算机教材精选 |
| 510 | $a: Software engineering$h: 1$i: Abstraction and modeling$z: eng |
| 606 | $a: 软件工程$A: ruan jian gong cheng$j: 教材 |
| 690 | $a: TP311.5$v: 4 |
| 701 | $a: 比约尼尔$A: bi yue ni er$g: (Bjorner, Dines)$4: 著 |
| 702 | $a: 向剑文$A: xiang jian wen$4: 译 |
| 801 | $a: CN$b: BUCTL$c: 20100925 |
| 905 | $a: BUCTLIB$d: TP311.5$r: CNY79.00$e: 137 |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第37723038位用户访问本系统