检索到 2 条 主题词=Programming languages 主题=computer programs 的结果
-
西文图书1.Programming logics : an introduction to verification and semantics / TP311/E13
馆藏复本：2
可借复本：2 Raymond D. Gumb.
Wiley, c1989.
(0) 馆藏 -
西文图书2.8th International Conference on Software Engineering : proceedings : Aug. 28-30, 1985, Imperial Coll TP31-53/E8:8(85)
馆藏复本：1
可借复本：1 sponsored by Association for Computing Machinery Sigsoft ...[et al.].
IEEE Computer Society Press, c1985.
(0) 馆藏
