Items related to Formal Methods for Open Object-Based Distributed Systems...
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 81) - Hardcover
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2002
- ISBN 10 0792376838
- ISBN 13 9780792376835
- BindingHardcover
- Number of pages296
- EditorJacobs Bart, Rensink Arend
Buy New
Learn more about this copy
US$ 18.84
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based . and Communication Technology (81)) [Hardcover ]
Seller:
Rating
Book Description Hardcover. Condition: new. Seller Inventory # 9780792376835
Buy New
US$ 18.84
Convert currency
Stock Image
Formal Methods for Open Object-based Distributed Systems V: Ifip Tc6/Wg6.1 Fifth International Conference on Formal Methods for Open Object-
Seller:
Rating
Book Description Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2002. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2002. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-571-001
Buy Used
US$ 17.25
Convert currency
Stock Image
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based . Information and Communication Technology, 81)
Seller:
Rating
Book Description Hardcover. Condition: GOOD. 2002-03-31. Springer. Hardcover. GOOD No DJ. Previous owners name. Seller Inventory # 2049126
Buy Used
US$ 11.40
Convert currency
Stock Image
Formal Methods For Open Object-based Distributed Systems V
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Seller Inventory # ABTR-219874
Buy New
US$ 110.13
Convert currency
Stock Image
Formal Methods For Open Object-based Distributed Systems V
Seller:
Rating
Book Description Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-125309
Buy New
US$ 110.13
Convert currency
Stock Image
Formal Methods For Open Object-based Distributed Systems V
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. Seller Inventory # ABRR-219874
Buy New
US$ 114.62
Convert currency
Seller Image
Formal Methods for Open Object-based Distributed Systems V : Ifip Tc6/Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems Fmoods 2002, March 20-22, 2002, Enschede,
Seller:
Rating
Book Description Condition: New. Seller Inventory # 757192-n
Buy New
US$ 117.98
Convert currency
Stock Image
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based . Information and Communication Technology, 81)
Published by
Springer
(2002)
ISBN 10: 0792376838
ISBN 13: 9780792376835
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Feb2416190184680
Buy New
US$ 116.64
Convert currency
Stock Image
Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Methods for Open Object-Based Di
Published by
Springer
(2002)
ISBN 10: 0792376838
ISBN 13: 9780792376835
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9780792376835_lsuk
Buy New
US$ 122.42
Convert currency
Seller Image
Formal Methods for Open Object-based Distributed Systems V : Ifip Tc6/Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems Fmoods 2002, March 20-22, 2002, Enschede,
Seller:
Rating
Book Description Condition: As New. Unread book in perfect condition. Seller Inventory # 757192
Buy Used
US$ 135.56
Convert currency