Web services and formal methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010: revised selected papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and sele...

وصف كامل

التفاصيل البيبلوغرافية

مؤلفون مشاركون:	WS-FM (Workshop) Hoboken, N.J.), SpringerLink (Online service)
مؤلفون آخرون:	Bravetti, Mario, Bultan, Tevfik
التنسيق:	Electronic Resource
اللغة:	English
منشور في:	Berlin, Heidelberg, New York Springer c2011.
سلاسل:	Lecture Notes in Computer Science 6551
الموضوعات:	Web services > Congresses. Formal methods (Computer science) > Congresses. Electronic books.
الوصول للمادة أونلاين:	Available for University of the Philippines Diliman via SpringerLink. Click here to access