Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - - Books - Cambridge University Press - 9780521771849 - October 22, 2001
In case cover and title do not match, the title is correct

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Price
HK$ 1,518
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 8 - 18

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.

490 pages, illustrations

Media Books     Hardcover Book   (Book with hard spine and cover)
Released October 22, 2001
ISBN13 9780521771849
Publishers Cambridge University Press
Pages 492
Dimensions 178 × 254 × 27 mm   ·   1.02 kg
Language English  
Editor Bowman, Howard (University of Kent, Canterbury)
Editor Derrick, John (University of Kent, Canterbury)

Mere med samme udgiver