Description: Formal Methods for Open Object-Based Distributed Systems IV : Ifip Tc6/ Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (Fmoods 2000) : September 6-8, 2000, stanfo, Hardcover by Smith, Scott F. (EDT); Talcott, Carolyn L. (EDT), ISBN 0792379233, ISBN-13 9780792379232, Like New Used, Free shipping in the US Papers from a September 2000 conference present recent advances in object-oriented programming, open distributed systems, and formal methods for object-oriented systems. Major themes include components, mobile code, Java, the Unified Modeling Language (UML), refinement of specifications, types and subtyping, and temporal and probabilistic systems. Specific subjects include atomic failure in wide-area computation, a wide-spectrum semantic framework for object-based distributed systems, requirements level semantics for UML statecharts, using relational and behavioral semantics in the verification of object models, and stochastically enhanced timed automata. Lacks a subject index. Annotation c. Book News, Inc., Portland, OR ()
Price: 246.32 USD
Location: Jessup, Maryland
End Time: 2024-12-17T03:15:37.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Formal Methods for Open Object-Based Distributed Systems IV : Ifi
Number of Pages: Xiv, 422 Pages
Language: English
Publication Name: Formal Methods for Open Object-Based Distributed Systems IV
Publisher: Springer
Subject: Systems Architecture / General, Programming / General, Systems Architecture / Distributed Systems & Computing, Intelligence (Ai) & Semantics, Programming / Object Oriented
Publication Year: 2000
Item Weight: 60.7 Oz
Type: Textbook
Subject Area: Computers
Author: International Conference on Formal Methods for Open Object-Based Distributed Systems Staff
Item Length: 9.3 in
Series: Ifip Advances in Information and Communication Technology Ser.
Item Width: 6.1 in
Format: Hardcover
