This volume on formal methods for open object-based distributed systems, includes the following areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and formalisation of object-oriented methods.
Loading similar products...
Stay informed about the best deals and price drops. Choose which notifications you'd like to receive from PriceCheck.