-
中文图书1.软件工程卷.1.1,抽象与建模,Abstraction and modeling TP311.5/227:V3
馆藏复本:5
可借复本:3 Dines Bjorner著
清华大学出版社 2010
(0) 馆藏 -
中文图书2.软件工程.卷2.2,系统与语言规约,Specification of systems and languages TP311.5/227:V2
馆藏复本:5
可借复本:4 Dines Bjorner著
清华大学出版社 2010
(0) 馆藏 -
中文图书3.软件工程.卷3.3,领域、需求与软件设计,Domains, requirements, and software design TP311.5/227
馆藏复本:5
可借复本:3 Dines Bjфrner著
清华大学出版社 2010
(0) 馆藏