《 编程理论：托尼·霍尔的生活和作品 》
- 编程
- 选题分类：计算机理论
- 原版语种：英语（可提供图书翻译服务）
- 出版日期：2021年09月
- 页数：450页
- 图书定价：（不详）
- 开本：190mm×234mm
- 浏览次数：268
- 字数：（不详）
- 作品星级：
- 内文印刷：单色
申请样书样章
您正在通过本网站在线提交出版评估申请。
若您的申请获得通过，您将可以在线对本作品的电子样书进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
申请翻译样章
您正在通过本网站在线提交翻译样章申请。
若您的申请获得通过，您将可以在线对本作品的翻译样章进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
内容简介
本书展示了他各种作品的精髓——寻求有效的抽象——既有他自己的语言，也有该领域的主要专家（包括他的许多研究合作者）撰写的章节。此外，本书包含了传记材料，他的图灵奖演讲，采访的文字记录和一些重要的论文。
霍尔的基础论文《计算机编程的公理化基础》，介绍了他的方法，通常被称为Hoare逻辑，通过使用逻辑断言来证明程序的正确性。霍尔逻辑和随后的发展已经形成了各种各样的软件验证工作的基础。霍尔在提出“验证软件计划”（Verified Software Initiative）方面发挥了重要作用，这是一个国际合作项目，旨在解决大规模软件验证的科学挑战，包括理论、工具和实验。
托尼·霍尔爵士对并行软件系统的理论和实践的贡献同样令人印象深刻。被称为通信顺序过程（SP）的过程代数已经成为一种基本的范例，既是一种解释并发计算的数学理论，也是编程语言occam的基础。CSP作为一个框架，用于探索外延语义中的几个概念，比如powerdomain，以及抽象和细化的概念。它是一系列工业强度工具的基础，这些工具已被广泛应用。
本书还介绍了霍尔在过去几十年里的作品。这些作品包括软件工程实践中严格的规范方法，包括程序和数据抽象、数据细化和模块化设计理论。最近，他与合作者一起开发了统一编程理论（UTP）。他们的目标是确定共同的代数理论，位于顺序，并发，反应性和网络物理计算的核心。
作者介绍
英国纽卡斯尔大学计算机学名誉教授（现为高级研究员）。在托尼•霍尔（Tony Hoare）的指导下，他从牛津大学获得博士学位，这标志着他从在IBM工作15年到在曼彻斯特大学担任教职的转变。除了他的主要研究并发性，他对计算的历史有浓厚的兴趣。
贾亚德夫·米斯拉
斯伦贝谢百年名誉主席和德克萨斯大学奥斯汀分校名誉教授。他的研究兴趣是与并发性相关的正式方法，这使他与托尼·霍尔（Tony Hoare）爵士接触了40多年。他从验证软件计划（VSI）项目开始就加入了Tony，并继续全面参与其中。
请输入分享的Email地址：
