西安工业大学图书馆书目检索系统

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汉译姓据CIP著录: 斯特潘诺夫; 责任者McJones规范汉译姓: 麦克琼斯

书目附注:

有书目 (第253-256页) 和索引

提要文摘附注:

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

豆瓣简介：