Gå direkt till innehållet
Formal Methods for Open Object-Based Distributed Systems
Spara

Formal Methods for Open Object-Based Distributed Systems

Lägsta pris på PriceRunner
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.
Undertitel
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Upplaga
2007 ed.
ISBN
9783540729198
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2007-05-25
Sidor
317