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

Software engineering : analysis and verification
出版社：Reston, Va. : Reston Pub. Co., c1982.
ISBN：083597023X
出版年：1982
作者：Lewis,T. G.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Software Safety and Security : tools for analysis and verification
  • 作者：NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security
  • ISBN：9781614990277
  • 出版社：Washington, DC : IOS Press, 2012.
  • 出版年：2012
...

Software verification and validation : an engineering and scientific approach
  • 作者：Fisher,Marcus S.
  • ISBN：0387327258
  • 出版社：New York ; London : Springer, c2007.
  • 出版年：2007
...

Software engineering : analysis and design
  • 作者：Easteal,Charles.
  • ISBN：0077072022
  • 出版社：London : McGraw-Hill, 1989.
  • 出版年：1989
...

Reliability verification, testing and analysis in engineering design
  • 作者：Wasserman,Gary S.,
  • ISBN：0824704754
  • 出版社：New York : Marcel Dekker, c2003.
  • 出版年：2003
...

Symposium on Engineering Computer Software: verification, qualification, certification; presentation
  • 作者：Symposium on Engineering Computer Software
  • 出版社：New York, American Society of Mechanical Engineers 1971.
  • 出版年：1971
...

Proceedings of the ACM Sigsoft''89 third symposium on software testing, analysis, and verification
  • 作者：Richard A. Kemmerer.
  • ISBN：0897913426
  • 出版社：New York: ACM Press, 1989.01.
  • 出版年：1989