-
中文图书1.反应式和并发系统的时序逻辑 TP311.11/45
馆藏复本:3
可借复本:3 (美) 佐哈尔·曼纳, (以) 艾米尔·伯努利著
清华大学出版社 2023
(0) 馆藏 -
中文图书2.高并发系统实战派:集群、Redis缓存、海量存储、Elasticsearch、RocketMQ、微服务、持续集成等 TP311.11/44
馆藏复本:2
可借复本:2 谢恩德著
电子工业出版社 2022
(0) 馆藏 -
中文图书3.用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用:the TLA+ language and tools for hardware and so... TP302.1/11
馆藏复本:2
可借复本:2 (美) 莱斯利·兰伯特著
机械工业出版社 2021
(0) 馆藏