-
西文图书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) 馆藏