-
中文图书1.软件工程.1,抽象与建模 TP311.5/159
馆藏复本:1
可借复本:1 (德)比约尼尔(Bjorner,D.)著
清华大学出版社 2010
(0) 馆藏 -
中文图书2.软件工程.卷3,领域、需求与软件设计.3,Domains, requirements, and software design TP311.5/158/3
馆藏复本:1
可借复本:1 Dines Bjorner著
清华大学出版社 2010
(0) 馆藏 -
中文图书3.软件工程.卷2,系统与语言规约.2,Specification of systems and languages TP311.5/158/2
馆藏复本:1
可借复本:1 Dines Bjorner著
清华大学出版社 2010
(0) 馆藏