|
题名:
|
编程原本 / Alexander Stepanov, Paul McJones , |
|
ISBN:
|
9787111367291 价格： |
|
出版发行:
|
出版地： 出版社： 机械工业出版 出版日期： 2012 |
|
内容提要:
|
本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。 |
|
主题词:
|
工业技术>自动化技术、计算机技术 |
|
中图分类法:
|
TP 版次： |