Skip to content
Free delivery over £24.99 · Extra 10% off over £35 · 20% off over £60
Free delivery over £24.99 · Extra 10% off over £35 · 20% off over £60
Free Delivery over £24.99
Trading since 2006
Dispatched within 1 working day
As seen on Amazon & Ebay
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings: 4468 (Lecture Notes in Computer Science)

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings: 4468 (Lecture Notes in Computer Science)

by Marcello M. Bonsangue,Einar Broch Johnsen
Save 40% Save 40%
£72.00
£72.00 - £72.00
£72.00
£43.17
£43.17 - £43.17
£43.17

4.9 from 190,000+ Amazon reviews · 99.9% positive on eBay

Only 1 left · dispatched within 1 working day

Free UK delivery over £24.99 · otherwise £2.90 · arrives in 3–6 working days

Buy more, save more
  • ✓ Extra 10% off orders over £35
  • ✓ Extra 20% off orders over £60
Applied automatically at checkout — no code needed
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.

Product Overview