机读格式显示(MARC)

• 000 01254nam0 2200313 450

• 001 0000373201

• 005 20251214103700.0

• 010 __ |a 978-7-302-64497-2 |d CNY79.00

• 035 __ |a (A100000NLC)012793996

• 049 __ |a A100000NLC |b UCS01012441827 |c 012793996 |d NLC01

• 100 __ |a 20240229d2023 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 反应式和并发系统的时序逻辑 |9 fan ying shi he bing fa xi tong de shi xu luo ji |b 专著 |f (美)佐哈尔·曼纳(Zohar Manna)，(以)艾米尔·伯努利(Amir Pnueli)著 |g 张广泉译

• 210 __ |a 北京 |c 清华大学出版社 |d 2023

• 215 __ |a 15,216页 |d 26cm

• 300 __ |a 江苏高校优势学科建设工程项目资助

• 312 __ |a 版权页英文原名：The temporal logic of reactive and concurrent systems

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

• 510 1_ |a Temporal logic of reactive and concurrent systems |z eng

• 606 0_ |a 反应式 |x 时序控制 |x 并发程序设计

• 690 __ |a TP311.11 |v 5

• 701 _0 |c (美) |a 曼纳 |9 man na |c (Manna, Zohar) |4 著

• 701 _0 |c (以) |a 伯努利 |9 bo nu li |c (Pnueli, Amir) |4 著

• 702 _0 |a 张广泉 |9 zhang guang quan |f (1965-) |4 译

• 801 _0 |a CN |b GDPTC |c 20251214

• 905 __ |a GDPTC |d TP311.11/25