-
中文图书1.模型检测量子系统:原理与算法:principles and algorithms O413/18
馆藏复本:3
可借复本:2 应明生, 冯元著
机械工业出版社 2023.6
(0) 馆藏 -
中文图书2.模型检测 TP274/103
馆藏复本:5
可借复本:3 (美)Edmund M. Clarke, Jr.,(美)Orna Grumberg,(美)Doron A. Peled著
电子工业出版社 2018
(0) 馆藏