Formalizing Data-Centric Web Services: 2015 by Iman Saleh (Hardback, 2015)

Brand new: lowest price

AU $123.00

Free postage
List price AU $155.99 Save 21%
  • Get it by Thu, 5 Apr - Tue, 17 Apr from Gloucester, United Kingdom
  • Brand new condition
  • • Returns accepted - 30 days money back
This book presents a methodology to model and specify the data aspect of Web services, as it is overlooked by current standards for specifying Web services. The formal specification enables verification of service behavior, and the proposed methodology is based on formal methods and design-by-contract techniques.