|
题名:
|
编程原本 / (美)Alexander Stepanov, Paul McJones著 , 裘宗燕译 |
|
ISBN:
|
978-7-111-36729-1 价格： CNY59.00 |
|
语种:
|
chi |
|
载体形态:
|
12, 281页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2012 |
|
内容提要:
|
本书将严格的数学定义、公理化和演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些写出的算法，以及描述算法性质的引理和定理一起呈现给读者，以帮助我们将复杂系统分解为一些具有特定行为的组件。 |
|
主题词:
|
程序设计 理论研究 |
|
中图分类法:
|
TP311.1 版次： 5 |
|
主要责任者:
|
斯特潘诺夫 著 |
|
主要责任者:
|
麦克琼斯 著 |
|
次要责任者:
|
裘宗燕 译 |
|
责任者附注:
|
责任者Stepanov汉译姓据CIP著录: 斯特潘诺夫; 责任者McJones规范汉译姓: 麦克琼斯 |