Web services and formal methods: 6th international workshop, ws-fm 2009, bologna, italy, september 4-5, 2009, revised selected papers
Auteur :
Laneve, Cosimo
ISBN :
9783642144578
Date de publication :
2 sept. 2010
Dimensions :
23,1 x 15,5 x 1,3 cm
Poids :
318 g
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held in Bologna, Italy, in September 2009. This title features topics such as approaches to analyzing and designing systems based on Web Service technology.