-
中文图书1.软件可信性度量评估与增强规范 TP311.52/355
馆藏复本:2
可借复本:1 陈仪香, 陶红伟著
科学出版社 2019
(0) 馆藏 -
中文图书2.形式语义学的稳定论域理论 TP301.2/3
馆藏复本:6
可借复本:6 陈仪香著
科学出版社 2003
(0) 馆藏
馆藏复本:2
可借复本:1 陈仪香, 陶红伟著
科学出版社 2019
(0) 馆藏
馆藏复本:6
可借复本:6 陈仪香著
科学出版社 2003
(0) 馆藏