-
中文图书1.安全协议实施安全性自动化分析与验证 TP393.08/290
馆藏复本:1
可借复本:1 孟博,王德军著
科学出版社 2019
(0) 馆藏
-
中文图书2.黑客攻防从入门到精通:命令版.2版 TP393.08/285
馆藏复本:1
可借复本:1 武新华,李书梅,孟繁华编著
机械工业出版社 2020
(0) 馆藏
-
中文图书3.安全协议实施自动化生成与验证 TP393.08/255
馆藏复本:1
可借复本:1 孟博,王德军著
科学出版社 2016
(0) 馆藏