（美）斯特帕诺夫著相关电子书下载

（美）斯特帕诺夫著2012 年出版283 页ISBN：9787111367291

本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。...

（美）亚历山大·斯特潘诺夫（Alexander Stepanov），（美）保罗·麦克琼斯（Paul McJones）著；裘宗燕译2019 年出版298 页ISBN：9787115493514

本书提供了有关编程的一种与众不同的理解。其主旨是，实际的编程也应像其他科学和工程领域一样基于坚实的数学基础。本书展示了在实际编程语言（如C++）中实现的算法如何在最一般的数学背景中操作。例如，如何定义...

（苏）切斯特诺夫（Ф.И.Честнов）著；夏风等译1956 年出版216 页ISBN：

奥斯特罗维强诺夫著；秋江译1951 年出版164 页ISBN：

（苏）切斯特诺夫（Ф.Честнов）著；施镭等译1956 年出版394 页ISBN：

切斯特诺夫著；甘永立译1957 年出版378 页ISBN：

拉比杜斯，奥斯特罗维采诺夫著；陶达译2222 年出版458 页ISBN：

（苏）Н.С.斯特罗加诺夫著；章宝惠译1961 年出版121 页ISBN：13031·1479

（苏）切斯特诺夫（Х.И.Честнов）著；熊秉慈译1956 年出版64 页ISBN：15045·无89