杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

15,216页:图;26cm

并列正题名:

Temporal logic of reactive and concurrent systems

个人责任者:

(美) 曼纳 (Manna, Zohar) 著

个人责任者:

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

个人次要责任者:

张广泉 译

学科主题:

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

中图法分类号:

TP311.11

一般附注:

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

相关题名附注:

封面英文题名：The temporal logic of reactive and concurrent systems

提要文摘附注:

本书共4章，介绍反应式程序的计算模型和编程语言，以及时序逻辑规约语言。第1章介绍计算模型和编程语言；第2章进一步阐述计算模型；第3章介绍时序逻辑，给出其语法和语义；第4章探讨时序逻辑作为一种描述反应式程序属性语言的实用性。

豆瓣简介：