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

Software and systems safety : specification and verification
出版社：Amsterdam ; Washington, D.C. : IOS Press, c2011.
ISBN：9781607507109
出版年：2011
作者：NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Specification and verification of concurrent systems
  • 作者：Rattray,C.
  • ISBN：3540195815
  • 出版社：London ; New York : Springer-Verlag, 1990.
  • 出版年：1990
...

Reactive systems : modelling, specification and verification
  • 作者：Aceto,Luca.
  • ISBN：9780521875462
  • 出版社：Cambridge ; New York : Cambridge University Press, 2007.
  • 出版年：2007
...

Specification of software systems
  • 作者：Alagar,Vangalur S.,
  • ISBN：0387984305
  • 出版社：New York : Springer, 1998.
  • 出版年：1998
...

Real-time systems : specification, verification, and analysis
  • 作者：Joseph,M.
  • ISBN：0134552970
  • 出版社：London ; New York : Prentice Hall, 1996.
  • 出版年：1996
...

Design, specification and verification of interactive systems''97
  • 作者：Harrison,M. D.
  • ISBN：3211830553
  • 出版社：New York Springer-Verlag, 1997.
  • 出版年：1997
...

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