Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings /

PSZJBL

Bibliographic Details
Main Authors:	International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus), Bonsangue, Marcello M., Johnsen, Einar Broch, SpringerLink (Online service)
Format:
Language:	eng
Published:	Berlin Heidelberg : Springer-Verlag GmbH., 2007
Subjects:	Electronic data processing Object-oriented programming (Computer science)
Online Access:	http://dx.doi.org/10.1007/978-3-540-72952-5

Internet