| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:96

题名/责任者:
编程原本/(美) Alexander Stepanov,Paul McJones著 裘宗燕译
出版发行项:
北京:机械工业出版社,2012
ISBN及定价:
978-7-111-36729-1/CNY59.00
载体形态项:
12, 281页;26cm
统一题名:
Elements of programming
丛编项:
计算机科学丛书
个人责任者:
斯特潘诺夫 (Stepanov, Alexander A.)
个人责任者:
麦克琼斯 (McJones, Paul)
个人次要责任者:
裘宗燕
学科主题:
程序设计-理论研究
中图法分类号:
TP311.1
责任者附注:
编目员自译责任者(Stepanov)汉译姓:斯特潘诺夫;责任者 (McJones)规范汉译姓:麦克琼斯.
书目附注:
有书目 (第253-256页) 和索引
提要文摘附注:
本书将严格的数学定义、公理化和演绎方法应用于程序设计,讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些写出的算法,以及描述算法性质的引理和定理一起呈现给读者,以帮助我们将复杂系统分解为一些具有特定行为的组件。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 定位
TP311.1/9300 1824465  - 9楼南电信软件工程借阅室     可借 定位
TP311.1/9300 1824464  - 理科综合阅览室     保留本 定位
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架