点击选择搜索分类
沃新书屋 - Logic in Computer Science
本书资料更新时间：2025-05-20 17:44:07

Logic in Computer Science

Logic in Computer Science精美图片

Logic in Computer Science电子书籍推荐下载地址

Logic in Computer Science书籍详细信息

内容简介：

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.

书籍目录：

暂无相关目录，正在全力查找中！

作者简介：

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

其它内容：

暂无其它内容！

下载点评

  • 强推(211+)
  • 分卷(694+)
  • 超值(115+)
  • 广告(939+)
  • 缺页(835+)
  • 必备(572+)
  • 科研(348+)
  • 首选(135+)
  • 实用(443+)
  • 云同步(224+)
  • EPUB(784+)
  • TXT(599+)
  • 破损(997+)
  • 自动(957+)
  • 高亮(731+)
  • 重排(488+)
  • 惊喜(993+)
  • 珍藏(173+)
  • 影印(217+)

下载评论

  • 用户1726433313： ( 2024-09-16 04:48:33 )

    音频功能搭配EPUB/AZW3格式，优质数字阅读体验，操作便捷。

  • 用户1729396942： ( 2024-10-20 12:02:22 )

    双语版电子书下载极速，支持PDF/EPUB格式导出，值得收藏。

  • 用户1728050681： ( 2024-10-04 22:04:41 )

    多格式版电子书下载秒传，支持PDF/AZW3格式导出，操作便捷。

  • 用户1726071139： ( 2024-09-12 00:12:19 )

    极速下载PDF/AZW3文件，高清小说推荐收藏，推荐下载。

  • 用户1716908866： ( 2024-05-28 23:07:46 )

    精校版本学术资源，PDF/AZW3格式适配各种阅读设备，推荐下载。

相关书评

喜欢""的人也看了

Logic in Computer Science分类索引数据信息

ISBN：9780521543101
出版日期：2004-08-30
适合人群：computer science students, software engineers, logic and philosophy enthusiasts, researchers in artificial intelligence and computational logic, computer programming professionals
以下书单推荐

© 2009-2025 沃新书屋 蜀ICP备2023017472号

免责声明：本站数据来自互联网公开的数据索引，如果侵犯了您的版权，请点击这里联系删除
对于本站页面标记为“广告、ad” 或非本站域名的链接内容不受本站管控，请自行辨别内容真实性/合法性，本站对此类信息或者链接内容的真实性/合法性不负责任。