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

Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Confer
出版社：Bostons : Kluwer Academic, c1999.
ISBN：0792384296
出版年：1999
作者：IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems
资源类型：图书
细分类型：西文文献
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 : 7th IFIP WG 6.1 international conference,
  • 作者：Steffen,Martin
  • ISBN：3540261818
  • 出版社：Berlin ; New York : Springer, c2005.
  • 出版年：2005
...

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
...

Distributed applications and interoperable systems II : IFIP TC6 WG6.1 Second International Working
  • 作者：IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable System
  • ISBN：0792385276
  • 出版社：Boston : Kluwer, c1999.
  • 出版年：1999