Cover of Mario Bravetti (EDT), Manuel Nunez (EDT), Gianluigi Zavattaro (EDT): Web Services and Formal Methods

Mario Bravetti (EDT), Manuel Nunez (EDT), Gianluigi Zavattaro (EDT) Web Services and Formal Methods

Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

VAT 0% included

New

E-book delivered electronically online

E-Book information

Springer Berlin Heidelberg

2006

PDF
How do I buy e-book?

978-3-540-38865-4

3-540-38865-6

Annotation

Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more.

Ask question

You can ask us about this book and we'll send an answer to your e-mail.