-
中文图书1.反应式和并发系统的时序逻辑 TP311.11/25
馆藏复本:2
可借复本:0 (美)佐哈尔·曼纳(Zohar Manna),(以)艾米尔·伯努利(Amir Pnueli)著
清华大学出版社 2023
(0) 馆藏 -
中文图书2.高并发系统:设计原理与实践
馆藏复本:0
可借复本:0 唐扬著
人民邮电出版社 2025
(0) 馆藏 -
中文图书3.高并发架构实战:从需求分析到系统设计:from requirements analysis to architecture design TP311.11/21
馆藏复本:2
可借复本:2 李智慧著
机械工业出版社 2023
(0) 馆藏 -
中文图书4.用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用:the TLA+ language and tools for hardware andsof... TP311.11/18
馆藏复本:3
可借复本:3 (美) 莱斯利·兰伯特著
机械工业出版社 2021.4
(0) 馆藏 -
中文图书5.多核应用架构关键技术:软件管道与SOA:software pipelines TP311.11/8
馆藏复本:4
可借复本:3 (美)Cory Isaacson著
机械工业出版社 2010
(0) 馆藏

