Web Services and Formal Methods
Third International Workshop, Ws-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Description
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.
Computers / Networking / Hardware
Computers / Software Development & Engineering / Systems Analysis & Design
Computers / Logic Design
About this Author
If the product is in stock at the store nearest you, we suggest you call ahead to have it set aside for you, or you may place an order online and choose in-store pickup.