Coordination Languages and Models
Paolo Ciancarini, Chris Hankin
₹5,606
Formal Methods for Open Object-Based Distributed Systems
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for
by Paolo Ciancarini, Roberto Gorrieri
Springer-Verlag New York Inc. · 2013
₹15,361
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: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for by Paolo Ciancarini & Roberto Gorrieri is a 436-page book published by Springer-Verlag New York Inc. in 2013.
The book deals with Electronic data processing, Congresses, Distributed processing and Object-oriented programming (Computer science).
Book details
- ISBN-13
- 9781475752663
- ISBN-10
- 1475752660
- Authors
- Paolo Ciancarini, Roberto Gorrieri
- Publisher
- Springer-Verlag New York Inc.
- Published
- 2013
- Edition
- Softcover reprint of the original 1st ed. 1999
- Pages
- 436
- Language
- English
- Condition
- New
- Subject
- Distributed processing
More by Paolo Ciancarini and related titles
Proceedings of 5th International Conference in Software Engineering for Defence Applications
Paolo Ciancarini, Stanislav Litvinov, Angelo Messina, Alberto Sillitti, Giancarlo Succi
₹11,995
Object-Based Models and Languages for Concurrent Systems
Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa
₹5,480
Coordination Models and Languages
Paolo Ciancarini, Herbert Wiklicky
₹4,353
Proceedings of 4th International Conference in Software Engineering for Defence Applications
Paolo Ciancarini, Alberto Sillitti, Giancarlo Succi, Angelo Messina
₹12,035
Cloud Computing
Michael Miller
₹3,134
Engineering Distributed Objects
Wolfgang Emmerich
₹7,236
Formal Methods for Open Object-based Distributed Systems
Marcello M. Bonsangue, Einar Broch Johnsen
₹4,252
DNS and BIND 5e
Cricket Liu, Paul Albitz
₹4,103
Introduction to Distributed Algorithms by Gerard Tel – Distributed Computing
Gerard Tel, Gerard Tel
₹4,580
Protocols by Invariants
A. A. Schoone, Anneke A. Schoone, Anneke A. Schoone
₹5,564
Formal Techniques for Distributed Systems
John Hatcliff, Elena Zucca
₹5,508