-
西文图书1.Ada quality and style : guidelines for professional programmers / TP312AD/E1
馆藏复本:2
可借复本:2 Software Productivity Consortium.
Van Nostrand Reinhold, c1989.
(0) 馆藏
-
西文图书2.Program verification using Ada / TP312/E14
馆藏复本:1
可借复本:1 Andrew D. McGettrick.
Cambridge University Press, 1982.
(0) 馆藏
-
西文图书3.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) 馆藏
-
西文图书4.Programming with Ada : an introduction by means of graduated examples / TP31/E96
馆藏复本:1
可借复本:1 Peter Wegner.
Prentice-Hall, c1980.
(0) 馆藏
-
西文图书5.Proceedings of 3rd Annual acm symposium on theory of computing : Hyatt Regency Houston, Houston, Te TP301/E6
馆藏复本:2
可借复本:2 sponsored by U.S. Army Center for Tactical Computer Systems ; host college, Atlanta University.
s.n., 1985?]
(0) 馆藏