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

Contributor(s): Bravetti, Mario (Editor), Núñez, Manuel (Editor), Zavattaro, Gianluigi (Editor)

ISBN: 9783540388623

Publisher: Springer

Binding Types:

Paperback

$54.99

Digicover (1-4 copies)

$67.94 (Final Price)

Readerbound (5-99 copies)

$66.74 (100+ copies: $65.99)

List/retail price:

$54.99

Pub Date: September 4, 2006

Dewey: 004.2

Lexile Code: 0000

Features: Bibliography, Illustrated, Index, Table of Contents

Target Age Group: NA to NA

Physical Info: 0.69" H x 9.22" L x 6.25" W ( 0.99 lbs) 289 pages

BISAC Categories:

Series: Programming and Software Engineering

Descriptions, Reviews, etc.

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.