检索到 1 条 索书号=T 丛书名=计算机科学丛书 主题=并发程序设计 馆藏地=自然书库（3F东） 的结果
-
中文图书1.用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用:the TLA+ language and tools for hardware and so... TP311.11/822
馆藏复本：2
可借复本：2 (美) 莱斯利·兰伯特著
机械工业出版社 2021
(0) 馆藏
