检索到 4 条 分类号=TP301 主题=computer software 的结果
-
西文图书1.VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijk TP311.52-53/E3:(4TH:91)
馆藏复本：1
可借复本：1 S. Prehn, W.J. Toetenel (eds.).
Springer-Verlag, c1991.
(0) 馆藏 -
西文图书2.System development and Ada / TP301-53/3:(86)E
馆藏复本：1
可借复本：1 CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, proceedings ; A.N. Haber
Springer-Verlag, c1987.
(0) 馆藏 -
西文图书3.A programmer's introduction to computer systems : hardware and software / TP301/E13
馆藏复本：1
可借复本：1 John Graham and Roger Loader.
McGraw-Hill, c1989.
(0) 馆藏 -
西文图书4.VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijk TP311.52-53/E3:2(4TH:91)
馆藏复本：1
可借复本：1 S. Prehn, W.J. Toetenel (eds.)
Springer-Verlag, c1991.
(0) 馆藏
