Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Techniques for Distributed Systems
. Ed(S): Hatcliff, John; Zucca, Elena
€ 66.76
FREE Delivery in Ireland
Description for Formal Techniques for Distributed Systems
Paperback. Constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010. Editor(s): Hatcliff, John; Zucca, Elena. Series: Lecture Notes in Computer Science. Num Pages: 233 pages, 40 black & white illustrations, biography. BIC Classification: UTR. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 386.
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 and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of lar- scale concurrent and distributed systems, including both practical and foun- tionalmodels,run-timesystems,andrelatedveri?cationandanalysistechniques. The 10th IFIP International Conference on Distributed Applications and Int- operable Systems in particular elicited contributions on architectures, ... Read more
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 and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of lar- scale concurrent and distributed systems, including both practical and foun- tionalmodels,run-timesystems,andrelatedveri?cationandanalysistechniques. The 10th IFIP International Conference on Distributed Applications and Int- operable Systems in particular elicited contributions on architectures, ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
233
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
233
Place of Publication
Berlin, Germany
ISBN
9783642134630
SKU
V9783642134630
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-2
Reviews for Formal Techniques for Distributed Systems