编程原本作者：AlexanderStepanov，译者：裘宗燕

  • 选择标签：工业技术
  • 出版时间：2025-12-11
  • ISBN：9787111367291
  • 出版社：机械工业出版社
  • 作者： (美) 斯特帕诺夫 (Stepanov,A.) , (美)
本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。
获取图书
点赞(0)