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

by: Kazi Sakib · Zahir Tari · Peter Bertok Hardcover details (USA). (see also: eBook (Kindle)) details (UK). (see also: eBook (Kindle)) details (Germany). (see also: Kindle Ausgabe) details (Canada). (see also: eBook (Kindle)) ISBN: 978-0-470-90539-5 ISBN-10: 0-470-90539-5 Wiley · 2013