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

Specification and verification of concurrent systems
出版社：London ; New York : Springer-Verlag, 1990.
ISBN：3540195815
出版年：1990
作者：Rattray,C.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Compositional verification of concurrent and real-time systems
  • 作者：Juan,Eric Y. T.
  • ISBN：140207025X
  • 出版社：Boston : Kluwer Academic Publishers, c2002.
  • 出版年：2002
...

Software and systems safety : specification and verification
  • 作者：NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification
  • ISBN：9781607507109
  • 出版社：Amsterdam ; Washington, D.C. : IOS Press, c2011.
  • 出版年：2011
...

Specification and analysis of concurrent systems : the COSY approach
  • 作者：Janicki,Ryszard.
  • ISBN：0387552049
  • 出版社：Berlin ; New York : Springer-Verlag, c1992.
  • 出版年：1992
...

The temporal logic of reactive and concurrent systems : specification
  • 作者：Manna,Zohar.
  • ISBN：0387976647
  • 出版社：New York : Springer-Verlag, c1992.
  • 出版年：1992
...

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

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