-
中文图书1.软件工程实践教程 TP311.5/320
馆藏复本:5
可借复本:3 宋雨编著
清华大学出版社 2011
(0) 馆藏 -
中文图书2.模型检测 TP274/275
馆藏复本:3
可借复本:2 (美) Edmund M. Clarke Jr., (美) Orna Grumberg, (美) Doron A. Peled著
电子工业出版社 2016
(0) 馆藏 -
中文图书3.计算机综合实践指导 TP3/405
馆藏复本:6
可借复本:6 宋雨等编著
清华大学出版社 2004
(0) 馆藏