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