Formal Methods for Open Object-Based Distributed Systems V

Name: Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for
Brand: Springer-Verlag New York Inc.
SKU: 9781475752687
Price: 7774.00 INR
Availability: InStock

IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for

by Bart Jacobs

Springer-Verlag New York Inc. · 2013

₹7,774

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 V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for by Bart Jacobs is a 284-page book published by Springer-Verlag New York Inc. in 2013.

Its main subjects are Electronic data processing, Computer science and Object-oriented programming (computer science).