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

Software for Dependable Systems sufficient evidence?
出版社：Washington, D.C. : National Academies Press, 2007
ISBN：0309103940 267.55
出版年：2007
作者：Jackson D. et al.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Software for Dependable Systems sufficient evidence?
  • 作者：Jackson D. et al.
  • ISBN：0309103940
  • 出版社：Washington, D.C. : National Academies Press, 2007
  • 出版年：2007
...

Dependable software systems engineering
  • 作者：NATO Advanced Studies Institute on Dependable Software Systems Engineering
  • ISBN：9781614998099
  • 出版社：Amsterdam, Netherlands : IOS Press, 2017.
  • 出版年：2017
...

Dependable software systems engineering
  • 作者：NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems
  • ISBN：9781614996262
  • 出版社：Amsterdam, Netherlands : IOS Press, 2016.
  • 出版年：2016
...

Dependable software systems engineering
  • 作者：NATO Advanced Study Institute on Dependable Software Systems Engineering
  • ISBN：9781614994947
  • 出版社：Amsterdam : IOS Press, 2015.
  • 出版年：2015
...

Engineering secure and dependable software systems
  • 作者：NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems
  • ISBN：9781614999768
  • 出版社：Amsterdam, Netherlands ; Berlin ; Washington, DC : IOS Press, 2019.
  • 出版年：2019
...

First International Workshop on Software Technologies for Future Dependable Distributed Systems (STF
  • 作者：International Workshop on Software Technologies for Future Dependable Distributed Systems
  • ISBN：9781424435654
  • 出版社：Piscataway, N.J. : IEEE, c2009.
  • 出版年：2009