Items related to Formal Methods for Open Object-based Distributed Systems:...
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.
Buy New
View this item
£ 106.79
FREE shipping from U.S.A. to United Kingdom
Destination, rates & speeds
Search results for Formal Methods for Open Object-based Distributed Systems:...
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
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. Excellent Customer Service. Seller Inventory # ABEJUNE24-91783
Quantity: 1 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 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
Quantity: 1 available
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
Quantity: 1 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 488. Seller Inventory # 183062628
Quantity: 1 available
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
Quantity: Over 20 available
Seller Image
Formal Methods for Open Object-Based Distributed Systems: Volume 2
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. 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 ca. Seller Inventory # 458435442
Quantity: Over 20 available
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
Quantity: Over 20 available
Stock Image
Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA75804128204045
Quantity: 1 available
Seller Image
Formal Methods for Open Object-Based Distributed Systems : Volume 2
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware - 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. Seller Inventory # 9780412820403
Quantity: 2 available