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

Formal methods and object technology
出版社：London ; New York : Springer, c1996.
ISBN：3540199772
出版年：1996
作者：Goldsack,Stephen J.,
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Formal methods for distributed processing a survey of object-oriented approaches
  • 作者：Derrick,John,
  • ISBN：0521771846 ￥689.61
  • 出版社：Cambridge, UK ; New York : Cambridge University Press, 2001.
  • 出版年：2001
...

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

Formal methods for distributed processing a survey of object-oriented approaches
  • 作者：Derrick,John,
  • ISBN：0521771846
  • 出版社：Cambridge, UK ; New York : Cambridge University Press, 2001.
  • 出版年：2001
...

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