{
"item_title" : "Web Services and Formal Methods",
"item_author" : [" Mario Bravetti", "Manuel Núñez", "Gianluigi Zavattaro "],
"item_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.",
"item_img_path" : "https://covers4.booksamillion.com/covers/bam/3/54/038/862/3540388621_b.jpg",
"price_data" : {
"retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
Web Services and Formal Methods : Third International Workshop, Ws-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
Overview
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.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783540388623
- ISBN-10: 3540388621
- Publisher: Springer
- Publish Date: September 2006
- Dimensions: 9.22 x 6.25 x 0.69 inches
- Shipping Weight: 0.99 pounds
- Page Count: 289
Related Categories
