|
000
|
01330nam 2200289 450
|
|
001
|
CAL 0120192832682
|
|
010
|
|
@a978-7-115-49351-4@dCNY79.00
|
|
100
|
|
@a20191007d2019 em y0chiy50 ea
|
|
101
|
1
|
@achi@ceng
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@ay a 001yy
|
|
200
|
1
|
@a编程原本@Abian cheng yuan ben@f(美) 亚历山大·斯特潘诺夫, 保罗·麦克琼斯著@d= Elements of programming@fAlexander Stepanov, Paul McJones@g裘宗燕译@zeng
|
|
210
|
|
@a北京@c人民邮电出版社@d2019.08
|
|
215
|
|
@axiv, 298页@d23cm
|
|
225
|
2
|
@a计算机科学经典译丛@Aji suan ji ke xue jing dian yi cong
|
|
306
|
|
@a由Pearson Education, Inc授权出版
|
|
320
|
|
@a有书目 (第267-270页) 和索引
|
|
330
|
|
@a本书将严格的数学定义、公理化和演绎方法应用于程序设计, 讨论程序与保证它们正确工作的抽象数学理论之间的联系。本书把理论的规程、基于这些规程写出的算法, 以及描述算法性质的引理和定理一起呈现给读者, 以帮助读者将复杂系统分解为一些具有特定行为的组件。
|
|
410
|
0
|
@12001 @a计算机科学经典译丛
|
|
500
|
10
|
@aElements of programming@mChinese
|
|
606
|
0
|
@a程序设计@Acheng xu she ji@x数学理论
|
|
690
|
|
@aTP311.1@v5
|
|
701
|
1
|
@a麦克琼斯@Amai ke qiong si@g(McJones, Paul)@4著
|
|
701
|
1
|
@a斯特潘诺夫@Asi te pan nuo fu@g(Stepanov, Alexander)@4著
|
|
702
|
0
|
@a裘宗燕@Aqiu zong yan@4译
|
|
801
|
0
|
@aCN@c20191007
|
|
905
|
|
@a河南城建学院图书馆@dTP311.1@eS709
|
|
|
|
|
| |
| 编程原本/(美) 亚历山大·斯特潘诺夫, 保罗·麦克琼斯著= Elements of programming/Alexander Stepanov, Paul McJones/裘宗燕译.-北京：人民邮电出版社，2019.08 |
| xiv, 298页；23cm.-(计算机科学经典译丛) |
| |
| |
| ISBN 978-7-115-49351-4：CNY79.00 |
| 本书将严格的数学定义、公理化和演绎方法应用于程序设计, 讨论程序与保证它们正确工作的抽象数学理论之间的联系。本书把理论的规程、基于这些规程写出的算法, 以及描述算法性质的引理和定理一起呈现给读者, 以帮助读者将复杂系统分解为一些具有特定行为的组件。 |
| ● |
正题名：编程原本
索取号：TP311.1/S709
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1390501
|
213905014
|
自科库301/301自科库 47排5列1层/
[索取号:TP311.1/S709]
|
在馆
|
|
|
2
|
1390502
|
213905023
|
自科库301/301自科库 47排5列1层/
[索取号:TP311.1/S709]
|
在馆
|
|
