-
西文图书1.Formal engineering for industrial software development : using the SOFL method = 软件开发的形式化... TP311.52/E33
馆藏复本:1
可借复本:0 Shaoying Liu著.
清华大学出版社, 2008.
(0) 馆藏
馆藏复本:1
可借复本:0 Shaoying Liu著.
清华大学出版社, 2008.
(0) 馆藏