-
西文图书1.Program verification using Ada / TP312/M145.2
馆藏复本:2
可借复本:1 Andrew D. McGettrick.
Cambridge University Press, 1982.
(0) 馆藏
-
西文图书2.Graded problems in computer science / TP31/M145
馆藏复本:2
可借复本:1 Andrew D. McGettrick, Peter D. Smith.
Addison-Wesley, c1983.
(0) 馆藏
-
西文图书3.Software specification techniques / TP31/G311
馆藏复本:1
可借复本:0 [edited by] Narain Gehani, Andrew McGettrick.
Addison-Wesley, c1986.
(0) 馆藏
-
西文图书4.The definition of programming languages / TP312/M145
馆藏复本:2
可借复本:1 Andrew D. McGettrick.
Cambridge University Press, 1980.
(0) 馆藏