山西大同大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

反应式和并发系统的时序逻辑/(美) 佐哈尔·曼纳, (以) 艾米尔·伯努利著 张广泉译

出版发行项:

北京:清华大学出版社,2023

ISBN及定价:

978-7-302-64497-2/CNY79.00

载体形态项:

xv, 216页:图;26cm

统一题名:

Temporal logic of reactive and concurrent systems : specification

个人责任者:

曼纳 (Manna, Zohar) 著

个人责任者:

伯努利 (Pnueli, Amir) 著

个人次要责任者:

张广泉 译

学科主题:

反应式-并发程序设计-时序控制

中图法分类号:

TP311.11

一般附注:

江苏高校优势学科建设工程项目资助

相关题名附注:

英文题名原文取自版权页

责任者附注:

Zohar Manna, 是斯坦福大学和以色列魏茨曼学院的计算机科学专业的教授。他在以色列理工学院获得数学学士学位和硕士学位, 在卡内基-梅隆大学获得计算机科学博士学位。他是Mathematical Theory of Computation的作者。Amir Pnueli, 是以色列魏茨曼学院的计算机科学专业的教授, 他在以色列理工学院获得数学学士学位, 在以色列魏茨曼学院获得应用数学博士学位。Pnueli教授是 Science of Computer Programming Journal的副主编。

提要文摘附注:

本书讲述: 反应式和并发系统是指实时运行的计算系统, 如操作系统、控制系统、交互系统和并发系统。这些系统很难规约、实现和验证, 主要原因是系统与其环境之间以及系统本身的并行进程之间交互的复杂性, 在交互时间上的微小变化可能会导致完全不同的行为。时序逻辑是一种形式化规约语言, 可用于刻画和分析反应式系统中有关时间和行为方面的属性。它提供了一种简单、自然但精确的方式来讨论交互发生的顺序, 而无须采用绝对时间度量。

使用对象附注:

本书适合作为计算机、软件工程、人工智能、自动化等专业高年级本科生、研究生的教材和参考书, 同时可供相关领域的研究人员和技术开发人员参考

豆瓣简介：