沃新书屋 - 程序正确性证明方法
本书资料更新时间:2025-05-09 09:34:06

程序正确性证明方法

程序正确性证明方法精美图片

程序正确性证明方法书籍详细信息

  • ISBN:9787564231699
  • 作者:暂无作者
  • 出版社:上海财经大学出版社
  • 出版时间:暂无出版时间
  • 页数:暂无页数
  • 价格:33.70
  • 纸张:暂无纸张
  • 装帧:暂无装帧
  • 开本:暂无开本
  • 语言:暂无语言
  • 适合人群:计算机科学与技术专业学生, 软件工程师, 程序员, 理论计算机科学家, 对软件工程和程序设计有兴趣的读者
  • TAG:逻辑学 / 软件工程 / 程序设计 / 理论计算机科学 / 形式化方法
  • 豆瓣评分:暂无豆瓣评分
  • 更新时间:2025-05-09 09:34:06

内容简介:

暂无相关简介,正在全力查找中!


书籍目录:

暂无相关目录,正在全力查找中!


作者简介:

暂无相关内容,正在全力查找中


其它内容:

暂无其它内容!


下载点评

  • 精排(383+)
  • 干货(464+)
  • 科研(763+)
  • 流畅(250+)
  • 可检索(877+)
  • 必下(2353+)
  • 批注(322+)
  • 感谢(890+)
  • 缺页(210+)
  • 适合休闲阅读(791+)
  • 错乱(578+)
  • MOBI(119+)
  • 稳定(576+)
  • 可复制(754+)
  • 修订(610+)
  • 分卷(625+)
  • 免密(129+)
  • 完美(394+)

下载评论

  • 用户1743288804: ( 2025-03-30 06:53:24 )

    图文版电子书下载极速,支持MOBI/TXT格式导出,体验良好。

  • 用户1740839527: ( 2025-03-01 22:32:07 )

    优质版本教材资源,PDF/TXT格式适配各种阅读设备,值得收藏。

  • 用户1735838556: ( 2025-01-03 01:22:36 )

    无延迟下载MOBI/AZW3文件,精校报告推荐收藏,资源优质。

  • 用户1734765175: ( 2024-12-21 15:12:55 )

    完整的学术资源,互动设计提升阅读体验,值得收藏。

  • 用户1728791216: ( 2024-10-13 11:46:56 )

    音频版电子书下载无延迟,支持PDF/TXT格式导出,资源优质。


相关书评

暂时还没有人为这本书评论!


以下书单推荐