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...
Gardado en:
| Autor Corporativo: | |
|---|---|
| Outros autores: | , , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
2884 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 |