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

Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference

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

Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference,
  • 作者：International Conference on Formal Methods for Open Object-Based Distributed Systems
  • ISBN：9783540729198
  • 出版社：Berlin ; New York : Springer, c2007.
  • 出版年：2007
...

Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference
  • 作者：International Conference on Formal Methods for Open Object-Based Distributed Systems
  • ISBN：9783540688624
  • 出版社：Berlin : Springer-Verlag, c2008.
  • 出版年：2008
...

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference,
  • 作者：Gorrieri,Roberto
  • ISBN：354034893X
  • 出版社：Berlin ; New York, NY : Springer, c2006.
  • 出版年：2006
...

Formal methods for open object-based distributed systems : 6th IFIP WG 6.0 international conference,
  • 作者：Najm,Elie
  • ISBN：3540204911
  • 出版社：Berlin ; New York : Springer-Verlag, c2003.,Berlin ; New York : Springer-Verlag, 2003.
  • 出版年：2003
...

Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Confer
  • 作者：IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems
  • ISBN：0792384296
  • 出版社：Bostons : Kluwer Academic, c1999.
  • 出版年：1999
...

Formal methods for open object-based distributed systems
  • 作者：Bowman,Howard.
  • ISBN：0412820404
  • 出版社：London : Chapman & Hall, 19 -
  • 出版年：1900