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

Name: Formal Methods for Distributed Processing A Survey of Object-Oriented Approaches
Price: 96.61 USD
Availability: InStock
ISBN: 9780521771849

by Bowman, Howard, Derrick, John

Marketplace Prices
New from $96.61

New
$96.61

List Price

~~$127.00~~

Discount

23% Off

You Save

$30.39

Item Details
Condition: New
Provider: Bookjunction
Provider Rating:

73%
Ships From: STERLING HEIGHTS, MI
Shipping: Standard
Comments: New, US edition. Satisfaction guaranteed!!

ISBN-13: 9780521771849
ISBN: 0521771846
Publisher: Cambridge University Press

AUTHOR

Bowman, Howard, Derrick, John

SUMMARY

This 2001 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.Bowman, Howard is the author of 'Formal Methods for Distributed Processing A Survey of Object-Oriented Approaches' with ISBN 9780521771849 and ISBN 0521771846.

[read more]