题名:
反应式和并发系统的时序逻辑   / (美) 佐哈尔·曼纳, (以) 艾米尔·伯努利著 , 张广泉译
ISBN:
978-7-302-64497-2 价格： CNY79.00
语种:
chi
载体形态:
XV, 216页 图 26cm
出版发行:
出版地： 北京 出版社： 清华大学出版社 出版日期： 2023
内容提要:
本书共4章，介绍反应式程序的计算模型和编程语言，以及时序逻辑规约语言。全书第1章介绍计算模型和编程语言；第2章进一步阐述计算模型；第3章介绍时序逻辑，给出其语法和语义；第4章探讨时序逻辑作为一种描述反应式程序属性语言的实用性。 
主题词:
反应式   时序控制
中图分类法:
TP311.11 版次： 5
主要责任者:
曼纳 著
主要责任者:
伯努利 著
次要责任者:
张广泉 译
附注:
江苏高校优势学科建设工程项目资助 
责任者附注:
佐哈尔·曼纳（Zohar Manna），是斯坦福大学和以色列魏茨曼学院的计算机科学专业的教授。他在以色列理工学院获得数学学士学位和硕士学位，在卡内基-梅隆大学获得计算机科学博士学位。他是MathematicalTheoryofComputation的作者，也是TheLogicalBasisforComputerProgramming（两卷）的合著者。Manna教授也是JournalofSymbolicComputation、ActaInformatica和TheoreticalComputerScienceJournal的副主编。