|
题名:
|
编程原本 / (美)Alexander Stepanov, (美)Paul McJones著 , 裘宗燕译 |
|
ISBN:
|
978-7-111-36729-1 价格： CNY59.00 |
|
语种:
|
chi |
|
载体形态:
|
12,281页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2012 |
|
内容提要:
|
本书将严格的数学定义、公理化和演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。 |
|
主题词:
|
程序设计 数学理论 |
|
中图分类法:
|
TP311.1 版次： 5 |
|
中图分类法:
|
TP31 版次： 4 |
|
主要责任者:
|
斯特潘诺夫 著 |
|
主要责任者:
|
麦克琼斯 著 |
|
次要责任者:
|
裘宗燕 译 |