机读格式显示(MARC)
- 000 01307nam0 2200301 450
- 010 __ |a 978-7-302-64497-2 |d CNY79.00
- 100 __ |a 20240220d2023 em y0chiy50 ea
- 101 1_ |a chi |c eng |c heb
- 200 1_ |a 反应式和并发系统的时序逻辑 |A fan ying shi he bing fa xi tong de shi xu luo ji |f (美)佐哈尔·曼纳(ZoharManna),(以)艾米尔·伯努利(AmirPnueli)著 |g 张广泉译
- 210 __ |a 北京 |c 清华大学出版社 |d 2023
- 215 __ |a 15,216页 |c 图 |d 26cm
- 300 __ |a 江苏高校优势学科建设工程项目资助
- 312 __ |a 封面英文题名:The temporal logic of reactive and concurrent systems
- 330 __ |a 本书共4章,介绍反应式程序的计算模型和编程语言,以及时序逻辑规约语言。第1章介绍计算模型和编程语言;第2章进一步阐述计算模型;第3章介绍时序逻辑,给出其语法和语义;第4章探讨时序逻辑作为一种描述反应式程序属性语言的实用性。
- 510 1_ |a Temporal logic of reactive and concurrent systems |z eng
- 606 0_ |a 反应式 |A Fan Ying Shi |x 时序控制 |x 并发程序设计
- 701 _0 |c (美) |a 曼纳 |A man na |c (Manna, Zohar) |4 著
- 701 _0 |c (以) |a 伯努利 |A bo nu li |c (Pnueli, Amir) |4 著
- 702 _0 |a 张广泉 |A zhang guang quan |4 译
- 801 _0 |a CN |b HDUL |c 20240422
- 905 __ |a HDUL |d TP311.11/620