检索到 5 条 主题词=Ada (Computer program language) 的结果
-
西文图书1.Program verification using Ada / TP312/M145.2
馆藏复本：2
可借复本：1 Andrew D. McGettrick.
Cambridge University Press, 1982.
(0) 馆藏 -
西文图书2.Ada : an introduction / TP312/L473
馆藏复本：2
可借复本：1 Henry Ledgard.
Springer-Verlag 1980.
(0) 馆藏 -
西文图书3.The Ada programming language : a guide for programmers / TP312/P996
馆藏复本：1
可借复本：0 I.C. Pyle.
Prentice Hall International, c1981.
(0) 馆藏 -
西文图书4.Programming with Ada : an introduction by means of graduated examples / TP31/W412
馆藏复本：1
可借复本：0 Peter Wegner.
Prentice-Hall, c1980.
(0) 馆藏 -
西文图书5.Towards a formal description of Ada / O31/B626
馆藏复本：1
可借复本：0 edited by D. Bj籸ner and O.N. Oest.
Springer-Verlag; 1980.
(0) 馆藏
