Formal Methods for Distributed Processing
Cambridge University Press, 2001
214,75 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780521771849
- ISBN-10
- 0521771846
- Publisher
- Cambridge University Press
- Year
- 2001
- Publication date
- 2001-10-22
- Pages
- 492
- Dimensions
- 254x178x27
- Weight
- 1015