-
中文图书1.软件开发的形式化方法 TP311.52/4014/ 1
馆藏复本:5
可借复本:4 古天龙
高等教育出版社 2005
(0) 馆藏 -
中文图书2.面向主体的软件开发 TP311.52/2003
馆藏复本:5
可借复本:3 毛新军编著
清华大学出版社 2005
(0) 馆藏
馆藏复本:5
可借复本:4 古天龙
高等教育出版社 2005
(0) 馆藏
馆藏复本:5
可借复本:3 毛新军编著
清华大学出版社 2005
(0) 馆藏