Formal Methods for Open Object-Based Distributed Systems
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
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.
CHF 106.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Johnsen, Einar Broch (Hrsg.)
- ISBN: 978-3-540-72952-5
- EAN: 9783540729525
- Produktnummer: 33314139
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2007
- Seitenangabe: 317 S.
- Plattform: PDF
- Masse: 6'643 KB
- Auflage: 2007
- Abbildungen: Bibliographie
- Reihenbandnummer: 4468
22 weitere Werke von Marcello M. (Hrsg.) Bonsangue:
Bewertungen
Anmelden