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

