-
西文图书1.Program verification using Ada / TP312/M145.2
馆藏复本:2
可借复本:1 Andrew D. McGettrick.
Cambridge University Press, 1982.
(0) 馆藏 -
西文图书2.The definition of programming languages / TP312/M145
馆藏复本:2
可借复本:1 Andrew D. McGettrick.
Cambridge University Press, 1980.
(0) 馆藏 -
西文图书3.Information representation and manipulation using Pascal / TP312/P132
馆藏复本:2
可借复本:1 E.S. Page, L.B. Wilson.
Cambridge University Press, 1983.
(0) 馆藏 -
西文图书4.Programming via Pascal / TP31/R738
馆藏复本:2
可借复本:1 J. S. Rohl and H. J. Barrett.
Cambridge University Press, 1980.
(0) 馆藏 -
西文图书5.Simulation techniques for discrete event systems / TP311/M684
馆藏复本:1
可借复本:0 I. Mitrani.
Cambridge University Press, 1982.
(0) 馆藏