Formal methods for web services: 9th international school on formal methods for the design of computer, communication and software systems, sfm 2009, bertinoro, italy, june 1-6, 2009, advanced lectures
Auteur :
Bernardo, Marco
ISBN :
9783642019173
Date de publication :
12 mai 2009
Dimensions :
23,4 x 15,6 x 1,8 cm
Poids :
539 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This book presents papers from the lectures of leading researchers given at the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, which was devoted to formal methods for web services.