Formal Methods for Open Object-Based Distributed Systems IV
Format: Paperback
ISBN13: 9781475710182
Paperback|9781475710182
✨ Featured Offer
Brand New
$221.48
List Price: $219.99
🚚
See all 1 offers from $221.48 FREE standard delivery by: 03 Apr 2026
Overview
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.
| ISBN-13 | 9781475710182 |
|---|---|
| ISBN-10 | 1475710186 |
| Weight | 1.33 Pounds |
| Dimensions | 6.10 x 0.98 x 9.25 In |
| List Price | $219.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | xiv, 422 pages |
| Publisher | Springer |
| Published On | 2012-08-01 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 422 p. IFIP Advances in Information and Commun...
Free delivery by: 03 Apr 2026