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

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

Price
Mex$ 3,943
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 18 - 28

Our customers say:

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

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

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
Show all

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

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