Program Construction： Calculating Implementations from Specifications（Roland Backhouse）（John Wiley & Sons， Ltd 2003）

  • 书名：Program Construction: Calculating Implementations from Specifications
  • 出版社：John Wiley & Sons, Ltd
  • 作者：Roland Backhouse
  • 出版年份：2003
  • 电子书格式： pdf
  • 简介：《Program Construction》是Roland Backhouse编写的一本经典著作，深入探讨了如何从规范中计算出程序实现的技术。该书由John Wiley & Sons于2003年出版，提供了从理论到实践的全面指导，适合程序员、软件工程师以及计算机科学学生阅读。通过详细的案例分析和数学证明，书中展示了如何系统化地构建高效、可靠的程序。多考网提供免费下载，帮助读者掌握程序构造的精髓。
  • ISBN：9780470848821, 04708
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有电子书，均为来自网络。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。