Formal Methods For Open Object-Based Distributed Systems
Editor: PaoloCiancarini
Kluwer Academic Publishers Group (Netherlands), 1999
Hardback, 452 pages
Size: 234x156 mm
ISBN: 9780792384298
ISBN-10: 0792384296
Formal Methods For Open Object-Based Distributed Systems
Discusses many topics, including the following: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object-oriented methods.

