Verification of Communication Protocols in Web Services: Model-Checking Service Compositions
| AUTHOR | Tari, Zahir; Sakib, Kazi; Bertok, Peter |
| PUBLISHER | Wiley (12/04/2013) |
| PRODUCT TYPE | Hardcover (Hardcover) |
Description
Show More
Product Format
Product Details
ISBN-13:
9780470905395
ISBN-10:
0470905395
Binding:
Hardback or Cased Book (Sewn)
Content Language:
English
More Product Details
Page Count:
272
Carton Quantity:
12
Product Dimensions:
6.20 x 0.70 x 9.20 inches
Weight:
1.30 pound(s)
Feature Codes:
Bibliography,
Index,
Table of Contents,
Illustrated
Country of Origin:
SG
Subject Information
BISAC Categories
Computers | Computer Engineering
Computers | Networking - Network Protocols
Dewey Decimal:
004.62
Library of Congress Control Number:
2013011613
List Price $144.95
Your Price
$143.50