中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

编程原本/(美) 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页) 和索引

提要文摘附注:

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

豆瓣简介：