Formal Methods for Open Object-Based Distributed Systems

Name: Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
SKU: 9783540261810
Price: 3124.00 INR
Availability: InStock

7th IFIP WG 6.1 International Conference

by Martin Steffen

Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2005 · Paperback

₹3,124

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference is written by Martin Steffen. This paperback edition from Springer-Verlag Berlin and Heidelberg GmbH & Co. K (2005) has 326 pages.

The book deals with Logic design, Computer networks, Computer science and Software engineering.