安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

编程原本/(美) 亚历山大·斯特潘诺夫, 保罗·麦克琼斯著 裘宗燕译

出版发行项:

北京:人民邮电出版社,2019.08

ISBN及定价:

978-7-115-49351-4/CNY79.00

载体形态项:

xiv, 298页;23cm

统一题名:

Elements of programming

丛编项:

计算机科学经典译丛

个人责任者:

斯特潘诺夫 (Stepanov, Alexander) 著

个人责任者:

麦克琼斯 (McJones, Paul) 著

个人次要责任者:

裘宗燕 译

学科主题:

程序设计-数学理论

中图法分类号:

TP311.1

出版发行附注:

由Pearson Education, Inc授权出版

书目附注:

有书目 (第267-270页) 和索引

提要文摘附注:

本书将严格的数学定义、公理化和演绎方法应用于程序设计, 讨论程序与保证它们正确工作的抽象数学理论之间的联系。本书把理论的规程、基于这些规程写出的算法, 以及描述算法性质的引理和定理一起呈现给读者, 以帮助读者将复杂系统分解为一些具有特定行为的组件。

豆瓣简介：