Formal Methods for Open Object-based Distributed Systems Iv: Ifip Tc6/wg6.1. Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2000) September 6-8, 2000, Stanford, California, USA - Ifip Advances in Inform - International Conference on Formal Methods for Open Object-based Distributed Systems - Books - Kluwer Academic Publishers - 9780792379232 - August 31, 2000
In case cover and title do not match, the title is correct

Formal Methods for Open Object-based Distributed Systems Iv: Ifip Tc6/wg6.1. Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2000) September 6-8, 2000, Stanford, California, USA - Ifip Advances in Inform

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

Price
£ 176.49
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 15 - 28
Add to your iMusic wish list

Formal Methods for Open Object-based Distributed Systems Iv: Ifip Tc6/wg6.1. Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2000) September 6-8, 2000, Stanford, California, USA - Ifip Advances in Inform

Presents the advances in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. This book includes the papers in this that focus on such technologies as: components; mobile code; Java[registered]; The Unified Modeling Language (UML); and, temporal and probabilistic systems.


429 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released August 31, 2000
ISBN13 9780792379232
Publishers Kluwer Academic Publishers
Pages 429
Dimensions 156 × 234 × 23 mm   ·   775 g
Editor Smith, Scott F.
Editor Talcott, Carolyn L.

Show all

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