-
西文图书1.Ada : an introduction / TP312/L473
馆藏复本:2
可借复本:1 Henry Ledgard.
Springer-Verlag 1980.
(0) 馆藏 -
西文图书2.Program verification using Ada / TP312/M145.2
馆藏复本:2
可借复本:1 Andrew D. McGettrick.
Cambridge University Press, 1982.
(0) 馆藏