全部
图书非书资料
图书馆
- 图书馆(1)
资源类型
- 图书(1)
书目库
- 中文图书(1)
主题
- 反应式(1)
出版社
- 清华大学出版社(1)
出版时间
- 2023(1)
-
反应式和并发系统的时序逻辑
— (美)佐哈尔·曼纳(ZOHAR MANNA)，(以)艾米尔·伯努利(
索书号：TP311.11/6024
标准编码： 978-7-302-64497-2
出版信息：北京 清华大学出版社 2023
中文图书
1 共有：1条记录
— (美)佐哈尔·曼纳(ZOHAR MANNA)，(以)艾米尔·伯努利(
索书号：TP311.11/6024
标准编码： 978-7-302-64497-2
出版信息：北京 清华大学出版社 2023
中文图书
1 共有：1条记录