Formal Methods for Open Object-Based Distributed Systems V - Info and Reading Options
IFIP TC6
By Bart Jacobs
"Formal Methods for Open Object-Based Distributed Systems V" was published by Springer US in 2002 - Boston, MA, it has 279 pages and the language of the book is English.
“Formal Methods for Open Object-Based Distributed Systems V” Metadata:
- Title: ➤ Formal Methods for Open Object-Based Distributed Systems V
- Author: Bart Jacobs
- Language: English
- Number of Pages: 279
- Publisher: Springer US
- Publish Date: 2002
- Publish Location: Boston, MA
“Formal Methods for Open Object-Based Distributed Systems V” Subjects and Themes:
- Subjects: ➤ Electronic data processing - Computer science - Electronic data processing, distributed processing - Object-oriented programming (computer science)
Edition Specifications:
- Format: [electronic resource] :
- Pagination: 1 online resource (x, 279 p.)
Edition Identifiers:
- The Open Library ID: OL27039464M - OL19850833W
- Online Computer Library Center (OCLC) ID: 853266521
- ISBN-13: 9781475752687 - 9780387354965
- ISBN-10: 1475752687 - 0387354964
- All ISBNs: 1475752687 - 0387354964 - 9781475752687 - 9780387354965
AI-generated Review of “Formal Methods for Open Object-Based Distributed Systems V”:
"Formal Methods for Open Object-Based Distributed Systems V" Description:
The Open Library:
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology. Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification. This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.
Read “Formal Methods for Open Object-Based Distributed Systems V”:
Read “Formal Methods for Open Object-Based Distributed Systems V” by choosing from the options below.
Search for “Formal Methods for Open Object-Based Distributed Systems V” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Formal Methods for Open Object-Based Distributed Systems V” in Libraries Near You:
Read or borrow “Formal Methods for Open Object-Based Distributed Systems V” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Formal Methods for Open Object-Based Distributed Systems V” at a library near you.
Buy “Formal Methods for Open Object-Based Distributed Systems V” online:
Shop for “Formal Methods for Open Object-Based Distributed Systems V” on popular online marketplaces.
- Ebay: New and used books.