-
西文图书1.Graded Problems in Computer Science TP31/M10
馆藏复本:9
可借复本:9 McGettrick, Andrew D.
Addison-Wesley 1983
(0) 馆藏 -
西文图书2.Program verification using Ada TP312/M2.2
馆藏复本:2
可借复本:2 McGettrick ,Andrew D
The Univ .Pr. 1982
(0) 馆藏 -
西文图书3.The definition of programming languages TP312/M2
馆藏复本:3
可借复本:3 McGettrick ,Andrew D
the Univ.Pr. 1980
(0) 馆藏