Springer
Formal Techniques for Distributed Systems (English, John Hatcliff | Elena Zucca)
₹5,508
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
Product Description
About the Book
In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) tookplacein Amsterdam, during June 7-9.It washosted and organized by the Centrum voor Wiskunde & Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal speci?- tion techniques to practical considerations. The 12th International Conference on Coordination Models…
ISBN: 9783642134630
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783642134630 |
| ISBN-10 | 3642134637 |
| Author | John Hatcliff | Elena Zucca |
