Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings /

Bibliographic Details
Corporate Authors:	International Conference on Formal Methods for Open Object-Based Distributed Systems Paris, France, SpringerLink (Online service)
Other Authors:	Najm, Elie, Nestmann, Uwe, Stevens, Perdita
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 2003.
Series:	Lecture notes in computer science ; 2884.
Subjects:	Electronic data processing > Distributed processing > Congresses. Object-oriented programming (Computer science) > Congresses. Approche orientée objet. informatique répartie. méthode formelle. système ouvert. Approche orientée objet (Informatique) > Congrès. Méthodes formelles (Informatique) > Congrès. Traitement réparti > Congrès. Electronic data processing > Distributed processing. Object-oriented programming (Computer science) Informatique répartie. Méthode formelle. Système ouvert. Formale Methode. Kongress. Objektorientierung. Offenes Kommunikationssystem. Verteiltes System. Electronic books. Kongress > Paris > 2003. Conference proceedings. Paris (2003)
Online Access:	Connect to the full text of this electronic book http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2884

Remote Storage