-
中文图书1.离散数学及其应用 O158/201
馆藏复本:2
可借复本:2 金一庆 ... [等] 著
机械工业出版社 2016
(0) 馆藏 -
中文图书2.软件工程形式化方法与语言 TP311.5/407
馆藏复本:3
可借复本:2 李莹, 吴江琴编著
浙江大学出版社 2010
(0) 馆藏
馆藏复本:2
可借复本:2 金一庆 ... [等] 著
机械工业出版社 2016
(0) 馆藏
馆藏复本:3
可借复本:2 李莹, 吴江琴编著
浙江大学出版社 2010
(0) 馆藏