潍坊科技学院图书馆书目检索系统

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

一般附注:

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

版本附注:

据1992年英文版译出

相关题名附注:

原文题名取自版权页

责任者附注:

佐哈尔·曼纳（Zohar Manna），是斯坦福大学和以色列魏茨曼学院的计算机科学专业的教授。他在以色列理工学院获得数学学士学位和硕士学位，在卡内基-梅隆大学获得计算机科学博士学位。他是MathematicalTheoryofComputation的作者，也是TheLogicalBasisforComputerProgramming（两卷）的合著者。Manna教授也是JournalofSymbolicComputation、ActaInformatica和TheoreticalComputerScienceJournal的副主编。

书目附注:

有书目

提要文摘附注:

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

豆瓣简介：