广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

15,216页;26cm

并列正题名:

Temporal logic of reactive and concurrent systems

个人责任者:

(美) 曼纳 (Manna, Zohar) 著

个人责任者:

(以) 伯努利 (Pnueli, Amir) 著

个人次要责任者:

张广泉 (1965-) 译

学科主题:

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

中图法分类号:

TP311.11

一般附注:

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

相关题名附注:

版权页英文原名：The temporal logic of reactive and concurrent systems

提要文摘附注:

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

豆瓣简介：