Formal Methods for Open Object-based Distributed Systems - Ifip Advances in Information and Communication Technology - International Conference on Formal Methods for Open Object-based Distributed Systems - Books - Kluwer Academic Publishers - 9780792384298 - February 28, 1999
In case cover and title do not match, the title is correct

International Conference on Formal Methods for Open Object-based Distributed Systems
Formal Methods for Open Object-based Distributed Systems - Ifip Advances in Information and Communication Technology

Price
A$ 321.49
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 9 - 21, 2026
Christmas presents can be returned until 31 January

Our customers say:

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

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.

448 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released February 28, 1999
ISBN13 9780792384298
Publishers Kluwer Academic Publishers
Pages 448
Dimensions 156 × 234 × 25 mm   ·   861 g
Language English  
Editor Ciancarini, Paolo
Editor Fantechi, Alessandro
Editor Gorrieri, Roberto

More by International Conference on Formal Methods for Open Object-based Distributed Systems

Show all

See all of International Conference on Formal Methods for Open Object-based Distributed Systems ( e.g. Hardcover Book )