登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Reactive systems : modelling specification and verification
出版社：
Cambridge ; New York : Cambridge University Press, 2007.
ISBN：
9780521875462
出版年：
2007
作者：
Aceto,Luca.
资源类型：
图书
细分类型：
西文文献
2浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Specification and verification of concurrent systems
作者：
Rattray,C.
ISBN：
3540195815
出版社：
London ; New York : Springer-Verlag, 1990.
出版年：
1990
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
The temporal logic of reactive and concurrent systems : specification
作者：
Manna,Zohar.
ISBN：
0387976647
出版社：
New York : Springer-Verlag, c1992.
出版年：
1992
Verification of reactive systems : formal methods and algorithms
作者：
Schneider,Klaus,
ISBN：
3540002960
出版社：
Berlin ; New York : Springer, c2004.
出版年：
2004
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
×
访问借阅管理系统
问图书管理员
馆际互借