Verification of Communication Protocols in Web Services: Model-Checking Service Compositions (Wiley Series on Parallel and Distributed Computing)

by Kazi Sakib, Zahir Tari, and Peter Bertok

0 ratings • 0 reviews • 0 shelved
Book cover for Verification of Communication Protocols in Web Services: Model-Checking Service Compositions

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 1299966276
  • ISBN13 9781299966277
  • Publish Date 1 January 2013
  • Publish Status Active
  • Out of Print 25 February 2015
  • Publish Country US
  • Imprint Wiley
  • Format eBook
  • Language English