馆藏书目查询系统 - 上海图书馆

Advanced

Screen Library Can I borrow online

Author Results for International Conference on Formal Methods for Open Object-Based Distributed Systems (9th 2007 Paphos, Cyprus)

1

Formal methods for open object-based distributed systems 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings

Cover is for reference only

Formal methods for open object-based distributed systems：9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings

Corporate Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems (9th 2007 Paphos, Cyprus); IFIP Working Group 6.1.; SpringerLink (Online service)
Group Author: Johnsen Einar Broch.; Bonsangue Marcello M.
Published: Springer,
Publication Dates: c2007.

Book