检索到 3 条 责任者=ACM Sigsoft. 的结果
-
西文图书1.Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : procee TP31-53/ISP
馆藏复本：1
可借复本：1 Matthew Dwyer (ed.).
Springer, c2001.
(0) 馆藏 -
西文图书2.6th International Conference on Software Engineering : proceedings : Sept. 13-16, 1982, Tokyo / TP31-53/ICS-2/(1982)
馆藏复本：1
可借复本：1 sponsored by ACM Sigsoft.
IEEE, c1982.
(0) 馆藏 -
西文图书3.Softfair : a Conference on Software Development Tools, Techniques and Alternatives : proceedings, Hy TP31-53/CSD/(1983)
馆藏复本：1
可借复本：1 co-sponsored by IEEE Computer Society, National Bureau of Standards, ACM SIGSOFT.
IEEE Computer Society Pr., c1983.
(0) 馆藏
