"Formal Methods for Open Object-Based Distributed Systems" - Information and Links:

Formal Methods for Open Object-Based Distributed Systems - Info and Reading Options

IFIP TC6 / WG6. 1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems , February 15-18, 1999, Florence, Italy

"Formal Methods for Open Object-Based Distributed Systems" was published by Springer in 2013 - Boston, MA s.l, it has 436 pages and the language of the book is English.


“Formal Methods for Open Object-Based Distributed Systems” Metadata:

  • Title: ➤  Formal Methods for Open Object-Based Distributed Systems
  • Authors:
  • Language: English
  • Number of Pages: 436
  • Publisher: Springer
  • Publish Date:
  • Publish Location: Boston, MA s.l

“Formal Methods for Open Object-Based Distributed Systems” Subjects and Themes:

Edition Specifications:

  • Weight: 0.688
  • Pagination: xii, 436

Edition Identifiers:

AI-generated Review of “Formal Methods for Open Object-Based Distributed Systems”:


"Formal Methods for Open Object-Based Distributed Systems" Description:

Open Data:

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government

Read “Formal Methods for Open Object-Based Distributed Systems”:

Read “Formal Methods for Open Object-Based Distributed Systems” by choosing from the options below.

Search for “Formal Methods for Open Object-Based Distributed Systems” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Formal Methods for Open Object-Based Distributed Systems” in Libraries Near You:

Read or borrow “Formal Methods for Open Object-Based Distributed Systems” from your local library.

Buy “Formal Methods for Open Object-Based Distributed Systems” online:

Shop for “Formal Methods for Open Object-Based Distributed Systems” on popular online marketplaces.