Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology) - Hardcover
Synopsis
This book 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.
"synopsis" may belong to another edition of this title.
Synopsis
This text presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. Topics discussed include: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and formalization of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS '97), sponsored by the International Federation for Information Processing (IFIP) held in Canterbury, United Kingdom, in July 1997.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Formal Methods for Open Object-based Distributed Systems:...
Seller Image
Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind. Seller Inventory # wbs1528164292
Buy Used
£ 37.37
£ 13.46 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Formal Methods For Open Object-based Distributed Systems, Volume 2
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-88488
Stock Image
Formal Methods For Open Object-based Distributed Systems, Volume 2
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-85753
Stock Image
Formal Methods for Open Object-Based Distributed Systems
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 488. Seller Inventory # 263062638
Stock Image
Formal Methods for Open Object-Based Distributed Systems
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 488 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 5833905
Buy New
£ 146.43
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. 488. Seller Inventory # 183062628
Stock Image
Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2215580181233
Stock Image
Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780412820403_new
Buy New
£ 184.62
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Methods for Open Object-based Distributed Systems
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Deals with the object orientated programming, open distributed systems and formal methods for object oriented systems. This book discusses areas such as: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object oriented methods. Editor(s): Bowman, Howard; Derrick, John. Series: IFIP Advances in Information and Communication Technology. Num Pages: 482 pages, biography. BIC Classification: UMN; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 1890. . 1997. Hardback. . . . . Seller Inventory # V9780412820403
Stock Image
Formal Methods for Open Object-based Distributed Systems
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Deals with the object orientated programming, open distributed systems and formal methods for object oriented systems. This book discusses areas such as: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object oriented methods. Editor(s): Bowman, Howard; Derrick, John. Series: IFIP Advances in Information and Communication Technology. Num Pages: 482 pages, biography. BIC Classification: UMN; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 1890. . 1997. Hardback. . . . . Books ship from the US and Ireland. Seller Inventory # V9780412820403