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

This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19 21, 2003. The event was the sixth meeting of this conference series, which is held r...

Cijeli opis

Bibliografski detalji

Autor kompanije:	IFIP WG 6.1 International Conference, FMOODS 2003 :Paris
Daljnji autori:	Najm, Elie, 19..- (Voditelj izdanja), Nestmann, Uwe (Voditelj izdanja), Stevens, Perdita (Voditelj izdanja)
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serija:	Lecture notes in computer science 2884
Teme:	Génie logiciel Informatique Traitement réparti Langages de programmation Systèmes d'exploitation (ordinateurs) Ordinateurs Réseaux d'ordinateurs Programmation orientée objets (informatique) Actes de congrès
Online pristup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Bilješka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal methods for open object-based distributed systems, 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003, proceedings, Elie Najm, Uwe Nestmann, Perdita Stevens (eds.), Berlin, Springer, 2003, 1 vol. (X-292 p.), Lecture notes in computer science, 3-540-20491-1 • Formal Methods for Open Object-Based Distributed Systems, Texte imprimé, 9783662168028