-
西文图书1.An introduction to computational combinatorics / O157/E6
馆藏复本:1
可借复本:1 E.S. Page, L.B. Wilson.
Cambridge University Press, 1979.
(0) 馆藏
-
西文图书2.Program verification using Ada / TP312/E14
馆藏复本:1
可借复本:1 Andrew D. McGettrick.
Cambridge University Press, 1982.
(0) 馆藏
-
西文图书3.Concurrent programming / TP316/E8
馆藏复本:1
可借复本:1 C.R. Snow.
Cambridge University Press, 1992.
(0) 馆藏
-
西文图书4.The definition of programming languages / TP312/E59
馆藏复本:3
可借复本:3 Andrew D. McGettrick.
Cambridge University Press, 1980.
(0) 馆藏