Formal Methods for Open Object Based Distributed Systems

Name: Formal Methods for Open Object Based Distributed Systems
SKU: f812c8eeee1ddb4e05a00c86eb431587
Price: 47.99 EUR
Availability: InStock

1/1

Afbeelding van Formal Methods for Open Object Based Distributed Systems

Bol

Prijzen vanaf

47,99

Uitgelicht

	47,99	Naar shop
VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

Bol 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. This book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. 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.

Lees meer

Vergelijk aanbieders (1)

Sorteren op:

€ 47,99 Gratis verzending

Beschrijving (1)

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. This book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. 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.

Lees meer