登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Proceedings of the ACM Sigsoft''89 third symposium on software testing analysis and verification
出版社：New York: ACM Press, 1989.01.
ISBN：0897913426
出版年：1989
作者：Richard A. Kemmerer.
资源类型：图书
细分类型：馆内阅览
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging
  • 作者：Johnson,Mark S.
  • 出版社：N.Y., c1983
  • 出版年：1983
...

Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium
  • 作者：Symposium on Software Validation
  • ISBN：044487593X
  • 出版社：Amsterdam ; New York : Elsevier Science Publishers B.V. for Gesellschaft für Mathematik und Datemve
  • 出版年：1984
...

Hardware and software, verification and testing : Third International Haifa Verification Conference,
  • 作者：International Haifa Verification Conference
  • ISBN：9783540779643
  • 出版社：Berlin ; New York : Springer, c2008.
  • 出版年：2008
...

2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2015) :
  • 作者：CBSE 2015
  • ISBN：9781509014699
  • 出版社：Piscataway, N.J. : IEEE, 2015.
  • 出版年：2015
...

2016 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2016) :
  • 作者：CBSE 2016
  • ISBN：9781509025701
  • 出版社：Piscataway, N.J. : IEEE, c2016.
  • 出版年：2016
...

2010 Third International Conference on Software Testing, Verification, and Validation Workshops (ICS
  • 作者：International Conference on Software Testing,Verification,and Validation Workshops
  • ISBN：9781424467730
  • 出版社：Piscataway, N.J. : IEEE, c2010.
  • 出版年：2010