Verification of Communication Protocols in Web Services: Model-Checking Service Compositions (Wiley Series on Parallel and Distributed Computing)
by:
Zahir Tari (author)
Peter Bertok (author)
Kazi Sakib (author)
Format: kindle
ASIN: B00G96WYOE
Publish date: October 7th 2013
Publisher: Wiley
Pages no: 272
Edition language: English