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