Häftad, Engelska, 2007
Formal Methods for Open Object-Based Distributed Systems
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Av Marcello M. Bonsangue, Einar Broch Johnsen
Del i serien Lecture Notes in Computer Science
562 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007. The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.
Produktinformation
- Utgivningsdatum: 2007-05-25
- Mått: 155 x 235 x 19 mm
- Vikt: 505 g
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes in Computer Science
- Antal sidor: 317
- Upplaga: 2007
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540729198
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.