检索到 2 条 责任者=吴尽昭 索书号=T 的结果
-
中文图书1.模型检测 TP274/4544
馆藏复本：3
可借复本：3 (美) Edmund M. Clarke, (美) Orna Grumberg, (美) Doron A. Peled著
电子工业出版社 2018
(0) 馆藏 -
中文图书2.进程代数:对称与动作细化 TP301.6/133
馆藏复本：5
可借复本：0 王永祥，吴尽昭，蒋建民著
科学出版社 2007
(0) 馆藏
