Del i serien Lecture Notes in Computer Science
Formal Methods for Open Object-Based Distributed Systems
8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Häftad, Engelska, 2006
749 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2006-06-09
- Mått155 x 235 x 16 mm
- Vikt429 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor276
- Upplaga2006
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540348931
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 16237
Theoretical Aspects of Computing – ICTAC 2025
Zhiming Liu, Adnane Saoud, Heike Wehrheim
Häftad, 2025
1 099 kr
Del 12076
Del 12165
Automata, Languages and Programming
Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela
Häftad, 1997
1 479 kr
Del 9360