-
中文图书1.软件工程.卷2.2,系统与语言规约,Specification of systems and languages.影印版 TP311.5/81
馆藏复本:2
可借复本:0 Dines Bjorner[著]
清华大学出版社 2007
(0) 馆藏
馆藏复本:2
可借复本:0 Dines Bjorner[著]
清华大学出版社 2007
(0) 馆藏