Items related to Formal Methods for Open Object-Based Distributed Systems...
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49) - Hardcover
Synopsis
Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented 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.
Papers in this volume focus on the following specific technologies:
- components;
- mobile code;
- Java®;
- The Unified Modeling Language (UML);
- refinement of specifications;
- types and subtyping;
- temporal and probabilistic systems.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2000
- ISBN 10 0792379233
- ISBN 13 9780792379232
- BindingHardcover
- LanguageEnglish
- Number of pages436
- EditorSmith Scott F., Talcott Carolyn L.
Buy New
View this item
US$ 48.14
US$ 60.09 shipping from United Kingdom to U.S.A.
Destination, rates & speedsSearch results for Formal Methods for Open Object-Based Distributed Systems...
Stock Image
Formal Methods for Open Object-Based Distributed Systems: v. 4 (IFIP International Federation for Information Processing)
Published by
Kluwer Academic Publishers, 2000
ISBN 10: 0792379233
ISBN 13: 9780792379232
New
Hardcover
Seller: New Book Sale, London, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service. Seller Inventory # 0792379233--22
Quantity: 1 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems IV
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 432. Seller Inventory # 263100115
Quantity: 1 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems IV
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 432 Illus. Seller Inventory # 5829132
Quantity: 1 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190184879
Quantity: Over 20 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems IV
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 432. Seller Inventory # 183100121
Quantity: 1 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780792379232_new
Quantity: Over 20 available
Seller Image
Formal Methods for Open Object-Based Distributed Systems IV: Ifip Tc6/Wg6.1. Fourth International Conference on Formal Methods for Open Object-Based D
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry . Seller Inventory # 458442399
Quantity: Over 20 available
Seller Image
Formal Methods for Open Object-Based Distributed Systems IV : Ifip Tc6/Wg6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (Fmoods 2000) September 6-8, 2000, Stanford, California, USA
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware - Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented 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. Papers in this volume focus on the following specific technologies: components; mobile code; Java®; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000. Seller Inventory # 9780792379232
Quantity: 2 available