检索到 4 条 责任者=ACM Sigsoft. 的结果
-
西文图书1.Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : procee TP31/M689
馆藏复本：1
可借复本：1 International SPIN Workshop
Springer, c2001.
(0) 馆藏 -
西文图书2.6th International Conference on Software Engineering : proceedings : Sept. 13-16, 1982, Tokyo / TP31-53/I61I
馆藏复本：2
可借复本：2 International Conference on Software Engineering
IEEE, c1982.
(0) 馆藏 -
西文图书3.7th International Conference on Software Engineering : proceedings, March 26-29, 1984, Orlando, Fla. TP31-532/I61
馆藏复本：2
可借复本：2 International Conference on Software Engineering
IEEE, c1984.
(0) 馆藏 -
西文图书4.8th International Conference on Software Engineering : proceedings : Aug. 28-30, 1985, Imperial Coll TP31-53/I61
馆藏复本：1
可借复本：1 International Conference on Software Engineering
IEEE Computer Society Press, c1985.
(0) 馆藏
