Formal Techniques for Distributed Systems: Joint 12th Ifip Wg 6.1 International Conference, Fmoods 2010 and 30th Ifip Wg 6.1 International Conference, ... the Netherlands, June 7-9, 2010, Proceedings - Couverture souple

 
9783642134630: Formal Techniques for Distributed Systems: Joint 12th Ifip Wg 6.1 International Conference, Fmoods 2010 and 30th Ifip Wg 6.1 International Conference, ... the Netherlands, June 7-9, 2010, Proceedings
Couverture souple
ISBN 10 : 3642134637 ISBN 13 : 9783642134630
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2010

Synopsis

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, models, technologies and platforms for large-scale and complex distributed applications and services that are related to the latest trends in bridging the physical/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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
2010
Langue
anglais
ISBN 10 
3642134637
ISBN 13 
9783642134630
Reliure
Broché
Nombre de pages
245
Éditeur
Hatcliff John, Zucca Elena
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne