|
000
|
01021nam 2200265 450
|
|
001
|
005763090
|
|
010
|
|
@a978-7-111-36729-1@dCNY59.00
|
|
100
|
|
@a20131007d2012 em y0chiy50 ea
|
|
101
|
1
|
@achi@ceng
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@ay z 000yy
|
|
200
|
1
|
@a编程原本@Abian cheng yuan ben@dElements of programming@f(美) 麦克琼斯, Paul McJones著@F(mei)mai ke qiong si,Paul McJones zhu@g裘宗燕译@zeng
|
|
210
|
|
@a北京@c机械工业出版社@d2012.03
|
|
215
|
|
@a12, 281页@d26cm
|
|
225
|
2
|
@a计算机科学丛书
|
|
330
|
|
@a本书将严格的数学定义、公理化和演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。
|
|
410
|
0
|
@12001 @a计算机科学丛书
|
|
510
|
1
|
@aElements of programming@zeng
|
|
606
|
0
|
@a程序设计@x数学理论
|
|
690
|
|
@aTP311.1@v5
|
|
701
|
0
|
@c(美)@a斯特潘诺夫@Asi te pan nuo fu@c(Stepanov, Alexander)@4著
|
|
701
|
0
|
@c(美)@a麦克琼斯@Amai ke qiong si@c(McJones, Paul)@4著
|
|
702
|
0
|
@a裘宗燕@Aqiu zong yan@f(1952~)@4译
|
|
801
|
0
|
@aCN@c20131007
|
|
905
|
|
@dTP311.1@eM285@f2
|
|
|
|
|
| |
| 编程原本=Elements of programming/(美) 麦克琼斯, Paul McJones著/裘宗燕译.-北京：机械工业出版社，2012.03 |
| 12, 281页；26cm.-(计算机科学丛书) |
| |
| |
| ISBN 978-7-111-36729-1：CNY59.00 |
| 本书将严格的数学定义、公理化和演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。 |
| ● |
正题名：编程原本
索取号：TP311.1/M285
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
806527
|
208065270
|
自科库301/301自科库 47排4列4层/
[索取号:TP311.1/M285]
|
在馆
|
|
|
2
|
806528
|
208065289
|
自科库301/
[索取号:TP311.1/M285]
|
在馆
|
|
