Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems

6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

Herausgegeben: Najm, Elie; Nestmann, Uwe; Stevens, Perdita
Versandkostenfrei!
Versandfertig in 1-2 Wochen
39,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
20 °P sammeln!
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 roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related ?elds: - formal methods; - distributed systems; - object-based ...