反应式和并发系统的时序逻辑

正版新书新华官方库房直发可开电子发票

60.04 7.6折 79 全新

库存7件

江苏无锡

认证卖家担保交易快速发货售后保障

作者作者:(美)佐哈尔·曼纳//(以)艾米尔·伯努利|责编:安妮|译者:张广泉

出版社清华大学出版社

ISBN9787302644972

出版时间2023-12

装帧平装

纸张胶版纸

定价79元

货号ZJ:9787302644972

上书时间2024-09-21

已实名已认证进店收藏店铺

商品描述: 作者简介:
    艾米尔·伯努利（Amir Pnueli），是以色列魏茨曼学院的计算机科学专业的教授，他在以色列理工学院获得数学学士学位，在以色列魏茨曼学院获得应用数学博士学位。Pnueli教授是Science of Computer Programming Journal的副主编。
内容简介:
    反应式和并发系统指实时运行的计算系统，如操作系统、控制系统、交互系统和并发系统。这些系统很难规约、实现和验证，主要原因是系统与其环境之间及系统本身的并行进程之间交互的复杂性，在交互时间上的微小变化可能导致完全不同的行为。
    时序逻辑是一种形式化规约语言，可用于刻画和分析反应式系统中有关时间和行为方面的属性。它提供了一种简单、自然但精确的方式来讨论交互发生的顺序，而无须采用绝对时间度量。本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型。
    本书是国际著名计算机科学家Zohar Manna和Amir Pnueli（图灵奖得主）的代表作，适合作为计算机、软件工程、人工智能、自动化等专业高年级本科生、研究生的教材或参考书，也可供相关领域的研究人员和技术开发人员参考。

— 没有更多了 —