Formal Methods for Open Object-Based Distributed Systems 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Najm, Elie (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Nestmann, Uwe (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Stevens, Perdita (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2884
• Θέματα: Computer programming.; Computer communication systems.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Programming Techniques.; Computer Communication Networks.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Operating Systems.; Logics and Meanings of Programs.

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...