Formal Methods for Open Object-Based Distributed Systems
8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
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.
CHF 93.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Wehrheim, Heike (Hrsg.)
- ISBN: 978-3-540-34895-5
- EAN: 9783540348955
- Produktnummer: 33366521
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2006
- Seitenangabe: 276 S.
- Plattform: PDF
- Masse: 4'346 KB
- Auflage: 2006
- Abbildungen: Bibliographie
19 weitere Werke von Roberto (Hrsg.) Gorrieri:
Bewertungen
Anmelden