Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Distributed Applications and Interoperable Systems: 10th IFIP WG 6.1 International Conference, DAIS 2010 Amsterdam, The Netherlands, June 7-9, 2010 Pr

by Frank Eliassen , Rüdiger Kapitza
Save 17% Save 17%
Current price ₹5,696.00
Original price ₹6,836.00
Original price ₹6,836.00
Original price ₹6,836.00
(-17%)
₹5,696.00
Current price ₹5,696.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783642136443
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Springer
  • Publisher Imprint: Springer
  • Publication Date:
  • Pages: 243
  • Original Price: USD 54.99
  • Language: English
  • Edition: 2010
  • Item Weight: 409 grams
  • BISAC Subject(s): Networking / Hardware

In2010theInternationalFederatedConferenceonDistributedComputingTe- 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?cation techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related veri?cation and analysis techniques. The 10th IFIP International Conference on Distributed Applications and Interop- able Systems in particular elicited contributions on architectures, models, te- nologies and platforms for large-scale and complex distributed applications and servicesthatarerelatedtothelatesttrendstowardsbridgingthephysical/virtual worlds based on ?exible and versatile service architectures and platforms. The 12th Formal Methods for Open Object-Based Distributed Systems and 30th FormalTechniques for NetworkedandDistributed Systems together emphasized distributed computing models and formal speci?cation, testing and veri?cation methods. Each of the three days of the federated event began with a plenary speaker nominated by one of the conferences. On the ?rst day Joe Armstrong (Eri- son Telecom AB) gave a keynote speech on Erlang-style concurrency, and on the second day Gerard Holzmann (Jet Propulsion Laboratory, USA) discussed the question Formal Software Veri?cation: How Close Are We? . On the third and last day Joost Roelands (Director of Development Netlog) presented the problem area of distributed social data."

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us