| 000 |
|
01100nam0 2200277 450 |
| 001 |
|
010815223147 |
| 005 |
|
20250815223147.0 |
| 010 |
__ |
■a978-7-302-64497-2■dCNY79.00 |
| 100 |
__ |
■a20201004e20242023em y0chiy50 ea |
| 101 |
1_ |
■achi■ceng |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■ay z 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a反应式和并发系统的时序逻辑■f(美)佐哈尔·曼纳(Zohar Manna), (以)艾米尔·伯努利(Amir Pnu+...... |
| 210 |
__ |
■a北京■c清华大学出版社■d2023.12■h2024.08 |
| 215 |
__ |
■a15, 216页■d26cm |
| 300 |
__ |
■a江苏高校优势学科建设工程项目资助 |
| 330 |
__ |
■a本书介绍了时序逻辑和反应式程序的计算模型。内容包括：基本模型、真并发模型、时序逻辑、程序属性。 |
| 510 |
1_ |
■aTemporal logic of reactive and concurrent systems■zeng |
| 606 |
0_ |
■a反应式■x时序控制■x并发程序设计 |
| 690 |
__ |
■aTP311.11■v5 |
| 701 |
_0 |
■a曼纳■c(美)■c(Manna, Zohar)■4著■9man na |
| 701 |
_0 |
■a伯努利■c(以)■c(Pnueli, Amir)■4著■9bo nu li |
| 702 |
_0 |
■a张广泉■4译■9zhang guang quan |
| 801 |
_0 |
■aCN■bBJSZM■c20250815 |
| 905 |
|
■a南昌职业大学图书馆■dTP311.11/18 |
(共0票)
评价
