-
西文图书1.Program style, design, efficiency, debugging, and testing / TP31/E26
馆藏复本:2
可借复本:2 Dennie Van Tassel.
Prentice-Hall, c1978.
(0) 馆藏 -
西文图书2.Proving programs correct / TP31/E18
馆藏复本:3
可借复本:3 Robert B. Anderson.
Wiley, c1979.
(0) 馆藏 -
西文图书3.Software defect removal / TP307/E1
馆藏复本:3
可借复本:3 Robert H. Dunn.
McGraw-Hill, c1984.
(0) 馆藏 -
西文图书4.Mathematical theory of computation / TP31/E57
馆藏复本:4
可借复本:4 Zohar Manna.
McGraw-Hill, 1974.
(0) 馆藏