Formal Methods for Open Object-Based Distributed Systems
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. Coverage includes component- and model-based design, service-oriented comput… Celý popis ↓
Porovnanie cien Formal Methods for Open Object-Based Distributed Systems
Popis Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems
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. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks.
Parametre
- Výrobca
- Springer-Verlag Berlin and Hei
Podobné produkty
Formal Methods for Control of Nonlinear Systems
Distributed Systems
Patterns of Distributed Systems
Distributed Systems with Node.js
Modelling Distributed Systems Fokkink Wan
Distributed Systems Tanenbaum Andrew S.
Distributed Systems Coulouris George F.
Implementing Parallel and Distributed Systems
Evidence-Based Training Methods
Trading Systems and Methods
Open Source Library Systems
