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

The temporal logic of reactive and concurrent systems : specification
出版社：New York : Springer-Verlag, c1992.
ISBN：0387976647
出版年：1992
作者：Manna,Zohar.
资源类型：图书
细分类型：西文文献
3浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

Verifying concurrent processes using temporal logic
  • 作者：Hailpern,Brent T.
  • ISBN：0387112057
  • 出版社：Berlin ; New York : Springer-Verlag, 1982.
  • 出版年：1982
...

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

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

Temporal logic and temporal logic programming
  • 作者：Duan,Zhenhua.
  • ISBN：7030166515
  • 出版社：Beijing : Science Press, 2005.
  • 出版年：2005
...

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings
  • 作者：Banieqbal,B.
  • ISBN：0387518037
  • 出版社：Berlin ; New York : Springer-Verlag, c1989.
  • 出版年：1989