Saxo Access
Indkøbskurv
  3. Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems (e-bog) af -
Wehrheim, Heike (redaktør)

Formal Methods for Open Object-Based Distributed Systems e-bog

436,85 DKK (inkl. moms 546,06 DKK)
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, softwa...
E-bog 436,85 DKK
Kan læses i vores apps til iPhone/iPad og Android.
Forfattere Wehrheim, Heike (redaktør)
Forlag Springer
Udgivet 26 maj 2006
Genrer UKN
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783540348955

Beskrivelse

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.