安徽理工大学图书馆书目检索系统

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的副主编。

提要文摘附注:

本书介绍了时序逻辑和反应式程序的计算模型。内容包括: 基本模型、真并发模型、时序逻辑、程序属性。

豆瓣简介：