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

Formal techniques in real-time and fault-tolerant systems: 5th International Symposium FTRTFT ''98

出版社：Berlin ; New York : Springer, c1998.
ISBN：3540650032
出版年：1998
作者：Ravn,Anders P.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002
  • 作者：FTRTFT 2002
  • ISBN：3540441654
  • 出版社：Berlin ; New York : Springer, 2002.,Berlin ; New York : Springer, c2002.
  • 出版年：2002
...

Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000
  • 作者：Joseph,Mathai
  • ISBN：3540410554
  • 出版社：Berlin ; New York : Springer, c2000.
  • 出版年：2000
...

Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sw
  • 作者：Jonsson,Bengt,
  • ISBN：3540616489
  • 出版社：Berlin ; New York : Springer, c1996.
  • 出版年：1996
...

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen
  • 作者：Vytopil,J.
  • ISBN：3540550925
  • 出版社：Berlin ; New York : Springer-Verlag, c1991.
  • 出版年：1991
...

Formal techniques in real-time and fault-tolerant systems
  • 作者：Vytopil,Jan,
  • ISBN：0792393325
  • 出版社：Boston : Kluwer Academic Publishers, c1993.
  • 出版年：1993
...

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK,
  • 作者：Joseph,M.
  • ISBN：0387503021
  • 出版社：Berlin ; New York : Springer-Verlag, c1988.
  • 出版年：1988